-sealed by the {\tt tail} instruction and unsealed \color{red}whenever
-the outer loop counter is set to zero (for any
-reason\footnote{\color{red}this includes {\tt OLC} being decremented
- to zero, a {\tt setOuter} with a literal field of zero, a {\tt
- setOuter} which copies a zero from the data register to {\tt OLC},
- or the occurrence of a torpedo\color{black}}).\color{black}
+sealed by the {\tt tail} instruction and unsealed whenever the outer
+loop counter is set to zero (for any reason\footnote{this
+ includes {\tt OLC} being decremented to zero, a {\tt setOuter} with
+ a literal field of zero, a {\tt setOuter} which copies a zero from
+ the data register to {\tt OLC}, or the occurrence of a
+ torpedo}).