2 files changed, 16 insertions, 16 deletions
diff --git a/stdlib/source/specification/lux/abstract/functor.lux b/stdlib/source/specification/lux/abstract/functor.lux
index f5b3a6205..9e2110a97 100644
--- a/stdlib/source/specification/lux/abstract/functor.lux
+++ b/stdlib/source/specification/lux/abstract/functor.lux
@@ -26,20 +26,20 @@
   (All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test))
   (do [! random.monad]
     [sample (# ! each injection random.nat)]
-    (_.test "Identity."
-            ((comparison n.=)
-             (@//each function.identity sample)
-             sample))))
+    (_.property "Identity."
+      ((comparison n.=)
+       (@//each function.identity sample)
+       sample))))
 
 (def: (homomorphism injection comparison (open "@//[0]"))
   (All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test))
   (do [! random.monad]
     [sample random.nat
      increase (# ! each n.+ random.nat)]
-    (_.test "Homomorphism."
-            ((comparison n.=)
-             (@//each increase (injection sample))
-             (injection (increase sample))))))
+    (_.property "Homomorphism."
+      ((comparison n.=)
+       (@//each increase (injection sample))
+       (injection (increase sample))))))
 
 (def: (composition injection comparison (open "@//[0]"))
   (All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test))
@@ -47,10 +47,10 @@
     [sample (# ! each injection random.nat)
      increase (# ! each n.+ random.nat)
      decrease (# ! each n.- random.nat)]
-    (_.test "Composition."
-            ((comparison n.=)
-             (|> sample (@//each increase) (@//each decrease))
-             (|> sample (@//each (|>> increase decrease)))))))
+    (_.property "Composition."
+      ((comparison n.=)
+       (|> sample (@//each increase) (@//each decrease))
+       (|> sample (@//each (|>> increase decrease)))))))
 
 (def: .public (spec injection comparison functor)
   (All (_ f) (-> (Injection f) (Comparison f) (Functor f) Test))
diff --git a/stdlib/source/specification/lux/abstract/functor/contravariant.lux b/stdlib/source/specification/lux/abstract/functor/contravariant.lux
index 0fca98448..291476eb4 100644
--- a/stdlib/source/specification/lux/abstract/functor/contravariant.lux
+++ b/stdlib/source/specification/lux/abstract/functor/contravariant.lux
@@ -16,10 +16,10 @@
 
 (def: (identity equivalence value (open "@//[0]"))
   (All (_ f a) (-> (Equivalence (f a)) (f a) (Functor f) Test))
-  (_.test "Law of identity."
-          (equivalence
-           (@//each function.identity value)
-           value)))
+  (_.property "Law of identity."
+    (equivalence
+     (@//each function.identity value)
+     value)))
 
 (def: .public (spec equivalence value functor)
   (All (_ f a) (-> (Equivalence (f a)) (f a) (Functor f) Test))