diff --git a/Spec/nock/5.txt b/Spec/nock/5.txt
index c1e1dfaefb..85553d4c9f 100644
--- a/Spec/nock/5.txt
+++ b/Spec/nock/5.txt
@@ -1,39 +1,39 @@
-A noun is an atom or a cell. 
+A noun is an atom or a cell.  
 An atom is a natural number. 
 A cell is an ordered pair of nouns.
 
-nock(a)             *a
-[a b c]             [a [b c]]
+nock(a)          *a
+[a b c]          [a [b c]]
 
-?[a b]              0
-?a                  1
-+[a b]              +[a b]
-+a                  1 + a
-=[a a]              0
-=[a b]              1
-=a                  =a
+?[a b]           0
+?a               1
++[a b]           +[a b]
++a               1 + a
+=[a a]           0
+=[a b]           1
+=a               =a
 
-/[1 a]              a
-/[2 [a b]]          a
-/[3 [a b]]          b
-/[(a + a) b]        /[2 /[a b]]
-/[(a + a + 1) b]    /[3 /[a b]]
-/a                  /a
+/[1 a]           a
+/[2 a b]         a
+/[3 a b]         b
+/[(a + a) b]     /[2 /[a b]]
+/[(a + a + 1) b] /[3 /[a b]]
+/a               /a
 
-*[a [[b c] d]]      [*[a b c] *[a d]]
+*[a [b c] d]     [*[a b c] *[a d]]
 
-*[a [0 b]]          /[b a]
-*[a [1 b]]          b
-*[a [2 [b c]]]      *[*[a b] *[a c]]
-*[a [3 b]]          ?*[a b]
-*[a [4 b]]          +*[a b]
-*[a [5 b]]          =*[a b]
+*[a 0 b]         /[b a]
+*[a 1 b]         b
+*[a 2 b c]       *[*[a b] *[a c]]
+*[a 3 b]         ?*[a b]
+*[a 4 b]         +*[a b]
+*[a 5 b]         =*[a b]
 
-*[a [6 [b [c d]]]]  *[a 2 [0 1] 2 [1 c d] [1 0] 2 [1 2 3] [1 0] 4 4 b]
-*[a [7 [b c]]]      *[a 2 b 1 c]
-*[a [8 [b c]]]      *[a 7 [[7 [0 1] b] 0 1] c]
-*[a [9 [b c]]]      *[a 7 c 2 [0 1] 0 b]
-*[a [10 [[b c] d]]] *[a 8 c 7 [0 3] d]
-*[a [10 [b c]]]     *[a c]
+*[a 6 b c d]     *[a 2 [0 1] 2 [1 c d] [1 0] 2 [1 2 3] [1 0] 4 4 b]
+*[a 7 b c]       *[a 2 b 1 c]
+*[a 8 b c]       *[a 7 [[7 [0 1] b] 0 1] c]
+*[a 9 b c]       *[a 7 c 2 [0 1] 0 b]
+*[a 10 [b c] d]  *[a 8 c 7 [0 3] d]
+*[a 10 b c]      *[a c]
 
-*a                  *a
\ No newline at end of file
+*a               *a