@@ -185,5 +185,5 @@ decrement formula, it can use the CPU to decrement directly.
185Detecting any Nock formula whose semantics match some function,
185Detecting any Nock formula whose semantics match some function,
186like decrement, is a hard problem. But in practice there is only
186like decrement, is a hard problem. But in practice there is only
187one decrement we run -- the decrement in the kernel library.
187one decrement we run -- the decrement in the kernel library.
188−Declaring this formula (with a hint, instruction `10` above)
188+Declaring this formula (with a hint, instruction `11` above)
189and recognizing it is not hard.
189and recognizing it is not hard.