1 files changed, 42 insertions, 42 deletions
diff --git a/stdlib/source/specification/lux/abstract/order.lux b/stdlib/source/specification/lux/abstract/order.lux
index 1c77ffc3b..e6e85a1e8 100644
--- a/stdlib/source/specification/lux/abstract/order.lux
+++ b/stdlib/source/specification/lux/abstract/order.lux
@@ -12,47 +12,47 @@
 (def: .public (spec (open "@//[0]") generator)
   (All (_ a) (-> (/.Order a) (Random a) Test))
   (<| (_.for [/.Order])
-      ($_ _.and
-          (do random.monad
-            [parameter generator
-             subject generator]
-            (_.test "Values are either ordered, or they are equal. All options(_  are mutually exclusive."
-                    (cond (@//< parameter subject)
-                          (not (or (@//< subject parameter)
-                                   (@//= parameter subject)))
+      (all _.and
+           (do random.monad
+             [parameter generator
+              subject generator]
+             (_.test "Values are either ordered, or they are equal. All options(_  are mutually exclusive."
+                     (cond (@//< parameter subject)
+                           (not (or (@//< subject parameter)
+                                    (@//= parameter subject)))
 
-                          (@//< subject parameter)
-                          (not (@//= parameter subject))
+                           (@//< subject parameter)
+                           (not (@//= parameter subject))
 
-                          ... else
-                          (@//= parameter subject))))
-          (do random.monad
-            [parameter generator
-             subject (random.only (|>> (@//= parameter) not)
-                                  generator)
-             extra (random.only (function (_ value)
-                                  (not (or (@//= parameter value)
-                                           (@//= subject value))))
-                                generator)]
-            (_.test "Transitive property."
-                    (if (@//< parameter subject)
-                      (let [greater? (and (@//< subject extra)
-                                          (@//< parameter extra))
-                            lesser? (and (@//< extra parameter)
-                                         (@//< extra subject))
-                            in_between? (and (@//< parameter extra)
-                                             (@//< extra subject))]
-                        (or greater?
-                            lesser?
-                            in_between?))
-                      ... (@//< subject parameter)
-                      (let [greater? (and (@//< extra subject)
-                                          (@//< extra parameter))
-                            lesser? (and (@//< parameter extra)
-                                         (@//< subject extra))
-                            in_between? (and (@//< subject extra)
-                                             (@//< extra parameter))]
-                        (or greater?
-                            lesser?
-                            in_between?)))))
-          )))
+                           ... else
+                           (@//= parameter subject))))
+           (do random.monad
+             [parameter generator
+              subject (random.only (|>> (@//= parameter) not)
+                                   generator)
+              extra (random.only (function (_ value)
+                                   (not (or (@//= parameter value)
+                                            (@//= subject value))))
+                                 generator)]
+             (_.test "Transitive property."
+                     (if (@//< parameter subject)
+                       (let [greater? (and (@//< subject extra)
+                                           (@//< parameter extra))
+                             lesser? (and (@//< extra parameter)
+                                          (@//< extra subject))
+                             in_between? (and (@//< parameter extra)
+                                              (@//< extra subject))]
+                         (or greater?
+                             lesser?
+                             in_between?))
+                       ... (@//< subject parameter)
+                       (let [greater? (and (@//< extra subject)
+                                           (@//< extra parameter))
+                             lesser? (and (@//< parameter extra)
+                                          (@//< subject extra))
+                             in_between? (and (@//< subject extra)
+                                              (@//< extra parameter))]
+                         (or greater?
+                             lesser?
+                             in_between?)))))
+           )))