⁴Generally, one would want to define my-minus in terms of DMM core primitives for V-values implemented in [11]: (defn my-minus [x y] (rec-map-sum x (rec-map-mult -1 y)))