                       :assoc! (.assoc! tree (nth action 1) (nth action 2))
                       :dissoc! (.dissoc! tree (nth action 1)))
         sorted-map-result (contains? sorted-map (nth action 1))]
-    (and (= tree-result sorted-map-result)
-         (or (empty? tree) (.valid! tree)))))
+    (= tree-result sorted-map-result)))
 
 (defn lookup-prop [gen]
   (prop/for-all [min-keys gen/s-pos-int

                 action gen]
                (run-lookup-prop min-keys actions action)))

;; TODO test assoc!/dissoc! results
;; TODO iterator tests

(comment

  (dc/quick-check 1000 total-prop)
  (dc/quick-check 100 (building-prop gen-assoc))
  (dc/quick-check 100 (building-prop gen-action))
  (dc/quick-check 100 (lookup-prop gen-action))
  (dc/quick-check 100 iterator-prop)

  (defn f []
    (time
