       [non-nil-seed (gen/random non-nil-seed)])))
 
 (defn- complete
-  [property-fun num-trials seed]
-  (ct/report-trial property-fun num-trials num-trials)
+  [property num-trials seed]
+  (ct/report-trial property num-trials num-trials)
   {:result true :num-tests num-trials :seed seed})
 
 (defn quick-check

                (recur children head (inc total-nodes-visited) (inc depth) true)))))))))

(defn- failure
  [property result trial-number size failing-params]
  (ct/report-failure property result trial-number failing-params)
  {:result result
   :failing-size size
   :num-tests trial-number
   :fail (vec failing-params)
   :shrunk (shrink-loop property (vec failing-params))})


              result (:result result-map)
              args (:args result-map)]
          (cond
            (instance? Throwable result) (failure property (:function result-map) result so-far size args)
            result (do
                     (ct/report-trial property so-far num-tests)
                     (recur (inc so-far) rest-size-seq))
            :default (failure property (:function result-map) result so-far size args)))))))

(defmacro forall [bindings expr]
  `(let [~@bindings]
