2 files changed, 50 insertions, 50 deletions
diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
index 6e7947aff..fba89a430 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
@@ -1,32 +1,32 @@
 (.using
-  [library
-   [lux "*"
-    ["_" test {"+" Test}]
-    [abstract
-     [monad {"+" do}]
-     [\\specification
-      ["$[0]" equivalence]]]
-    [control
-     ["[0]" try ("[1]#[0]" functor)]
-     [parser
-      ["<[0]>" text]]]
-    [data
-     ["[0]" text ("[1]#[0]" equivalence)
-      ["%" format {"+" format}]]]
-    [math
-     ["[0]" random {"+" Random} ("[1]#[0]" monad)]
-     [number
-      ["n" nat]
-      ["i" int]]]
-    [time
-     ["[0]" instant]]]]
-  ["$[0]" /// "_"
-   ["[1][0]" stamp]]
-  [\\program
-   ["[0]" /
-    ["//[1]" ///
-     ["[1][0]" stamp]
-     ["[1][0]" time]]]])
+ [library
+  [lux "*"
+   ["_" test {"+" Test}]
+   [abstract
+    [monad {"+" do}]
+    [\\specification
+     ["$[0]" equivalence]]]
+   [control
+    ["[0]" try ("[1]#[0]" functor)]
+    [parser
+     ["<[0]>" text]]]
+   [data
+    ["[0]" text ("[1]#[0]" equivalence)
+     ["%" format {"+" format}]]]
+   [math
+    ["[0]" random {"+" Random} ("[1]#[0]" monad)]
+    [number
+     ["n" nat]
+     ["i" int]]]
+   [time
+    ["[0]" instant]]]]
+ ["$[0]" /// "_"
+  ["[1][0]" stamp]]
+ [\\program
+  ["[0]" /
+   ["//[1]" ///
+    ["[1][0]" stamp]
+    ["[1][0]" time]]]])
 
 (def: .public random
   (Random /.Value)
@@ -47,18 +47,18 @@
           (do random.monad
             [sample random
              stamp $///stamp.random]
-            (let [version (value@ /.#version sample)
+            (let [version (the /.#version sample)
 
                   local!
                   (text#= version
-                          (/.format (with@ /.#snapshot {///.#Local} sample)))
+                          (/.format (has /.#snapshot {///.#Local} sample)))
 
                   remote_format (/.format [/.#version (format version /.snapshot)
                                            /.#snapshot {///.#Remote stamp}])
                   remote!
-                  (and (text.starts_with? (format version (///time.format (value@ ///stamp.#time stamp)))
+                  (and (text.starts_with? (format version (///time.format (the ///stamp.#time stamp)))
                                           remote_format)
-                       (text.ends_with? (%.nat (value@ ///stamp.#build stamp))
+                       (text.ends_with? (%.nat (the ///stamp.#build stamp))
                                         remote_format))]
               (_.cover [/.snapshot /.format]
                        (and local!
diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux
index 2b10fe559..64155f029 100644
--- a/stdlib/source/test/aedifex/artifact/time/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time/time.lux
@@ -1,26 +1,26 @@
 (.using
-  [library
-   [lux "*"
-    ["_" test {"+" Test}]
-    ["[0]" time]
-    [abstract
-     [monad {"+" do}]]
-    [control
-     ["[0]" try ("[1]#[0]" functor)]
-     [parser
-      ["<[0]>" text]]]
-    [math
-     ["[0]" random {"+" Random}]
-     [number
-      ["n" nat]
-      ["i" int]]]]]
-  [\\program
-   ["[0]" /]])
+ [library
+  [lux "*"
+   ["_" test {"+" Test}]
+   ["[0]" time]
+   [abstract
+    [monad {"+" do}]]
+   [control
+    ["[0]" try ("[1]#[0]" functor)]
+    [parser
+     ["<[0]>" text]]]
+   [math
+    ["[0]" random {"+" Random}]
+    [number
+     ["n" nat]
+     ["i" int]]]]]
+ [\\program
+  ["[0]" /]])
 
 (def: .public random
   (Random /.Time)
   (random.one (|>> time.clock
-                   (with@ time.#milli_second 0)
+                   (has time.#milli_second 0)
                    time.time)
               random.time))