Work on Marpa theory book

recce.ltx

@@ -6189,7 +6189,10 @@ $\Rule{\iop{null-scan-op}{\Vincr{n}}{\Veim{bas}}}$ \newline
 \newline
 \becuz{}
 \eqref{eq:iterated-null-scan-op-NEW-46},
-\eqref{eq:iterated-null-scan-op-NEW-56}.
+\eqref{eq:iterated-null-scan-op-NEW-56},
+which is requirement
+\eqref{eq:iterated-null-scan-op-NEW-14}
+for this case of the step.
 } \\
 \label{eq:iterated-null-scan-op-NEW-66}
 & \myparbox{%
@@ -6198,7 +6201,10 @@ $\Left{\iop{null-scan-op}{\Vincr{n}}{\Veim{bas}}}$ \newline
 \newline
 \becuz{}
 \eqref{eq:iterated-null-scan-op-NEW-48},
-\eqref{eq:iterated-null-scan-op-NEW-58}.
+\eqref{eq:iterated-null-scan-op-NEW-58},
+which is requirement
+\eqref{eq:iterated-null-scan-op-NEW-16}
+for this case of the step.
 } \\
 \label{eq:iterated-null-scan-op-NEW-68}
 & \myparbox{%
@@ -6207,7 +6213,10 @@ $\Right{\iop{null-scan-op}{\Vincr{n}}{\Veim{bas}}}$ \newline
 \newline
 \becuz{}
 \eqref{eq:iterated-null-scan-op-NEW-50},
-\eqref{eq:iterated-null-scan-op-NEW-60}.
+\eqref{eq:iterated-null-scan-op-NEW-60},
+which is requirement
+\eqref{eq:iterated-null-scan-op-NEW-18}
+for this case of the step.
 } \\
 \label{eq:iterated-null-scan-op-NEW-70}
 & \myparbox{%
@@ -6216,7 +6225,10 @@ $\Dotix{\iop{null-scan-op}{\Vincr{n}}{\Veim{bas}}}$ \newline
 \newline
 \becuz{}
 \eqref{eq:iterated-null-scan-op-NEW-53},
-\eqref{eq:iterated-null-scan-op-NEW-62}.
+\eqref{eq:iterated-null-scan-op-NEW-62},
+which is requirement
+\eqref{eq:iterated-null-scan-op-NEW-22}
+for this case of the step.
 } \\
 \label{eq:iterated-null-scan-op-NEW-72}
 & \myparbox{%
@@ -6284,6 +6296,26 @@ $]$,
 \becuz{}
 \eqref{eq:iterated-null-scan-op-NEW-76}.
 } \\
+\label{eq:iterated-null-scan-op-NEW-80}
+& \myparbox{%
+\Postdot{\iop{null-scan-op}{\Vincr{n}}{\Veim{bas}}}
+\newline
+\hspace*{1em}
+$= (\RHS{\Veim{bas}})[$
+\newline
+\hspace*{2em}
+  $\Dotix{\op{null-scan-op}{\Veim{bas}}} + \var{n} + 1$
+\newline
+\hspace*{1em}
+$]$,
+\becuz{}
+\eqref{eq:iterated-null-scan-op-NEW-64},
+\eqref{eq:iterated-null-scan-op-NEW-78},
+\dref[rule notions applied to EIM's]{def:eim-rule-notions},
+which is requirement
+\eqref{eq:iterated-null-scan-op-NEW-20}
+for this case of the step.
+}
 \end{align}
 
 TODO: TOHERE