            (type (first (:children (run-test-case t2))))))
 
 ;; TestCase with multiple Contexts
-(def a2 (assertion [x y] (< x y)))
+(def a2 <)
 
 (def t3 (TestCase [c2 c4] [a2 a2]))
 

  `(binding [*log* (atom [])]
     ~@body))

(def a3 (assertion [x] (log :a3) (pos? x)))

(def a4 (assertion [x] (log :a4) (pos? x)))

(def c5 (Context [] (fn [] (log :c5-open) 5)
                 (fn [x] (assert (= x 5)) (log :c5-close))))

    (dorun (result-seq results))
    (assert (= @*log* [:c6-open :a3 :a4 :a3 :a4]))))


;; defcontext form
(defcontext c7 "Context c7" [s5 c5]
