   (is (= '#{x y z v} (attributes (rand-context [1 2 3 4] '[x y z v] 0.6))))
   (is (thrown? IllegalArgumentException (rand-context [] 'a))))
 
-;; random-contexts
-;; context-{sum,product,semiproduct,xia-product}
+(deftest test-random-contexts
+  (with-testing-data [ctx (random-contexts 11 23)]
+    (and (<= (count (objects ctx)) 23)
+         (<= (count (attributes ctx)) 23))))
+  
+;; context-sum
+;; context-product
+;; context-semiproduct
+;; context-xia-product
 
 ;;;
 

  (with-testing-data [ctx testing-data]
    (clarified? (clarify-context ctx))))

;; down-arrows
;; up-arrows
;; up-down-arrows
;; reduce-clarified-context
;; reduce-context-{object,attribute}s

(deftest test-reduced?
  (is (not (reduced? test-ctx-01)))

       #{1 2 3 282 392 23}
       #{nil 4 * -}))

;; context-union
;; context-intersection
;; context-composition
;; context-apposition
;; context-subposition
;; context-transitive-closure

(deftest test-rand-context
  (is (context? (rand-context [1 2 3 4] 0.5)))
