diff --git a/godel/index.html b/godel/index.html
index f74a48e..4c13be7 100644
--- a/godel/index.html
+++ b/godel/index.html
@@ -16,19 +16,15 @@
         <h3>L Source</h3>
         <textarea id=
         "instructions">// 0. primitive instructions only
-// 1. labels match the regex [A-E](:digit:)+.
-// 2. variables are initialized to zero and match 
-//    (Y | (X|Z)(:digit:)+).
-// 3. instructions must be delimited by a newline.
-// 4. anything following the comment token "//" up to a
+// 1. anything following the comment token "//" up to a
 //    newline are ignored.
-// 5. by default, a computation that takes more than 500_000
+// 2. by default, a computation that takes more than 500_000
 //    "procedures", it will be halted.
-// 6. the implicit exit label "E1" exists; thus to exit
+// 3. the implicit exit label "E1" exists; thus to exit
 //    prematurely, "GOTO E1".
-// 7. input your initial snapshot in the "variables" map
+// 4. input your initial snapshot in the "variables" map
 //    on the Program in the compiled JS output
-// 8. for a more detailed view on the grammar, it's at
+// 5. for a more detailed view on the grammar, it's at
 //    /godel/grammar.peg
 
 // THIS PROGRAM COMPUTES X1 + X2