@@ -185,5 +185,5 @@ decrement formula, it can use the CPU to decrement directly.
185185Detecting any Nock formula whose semantics match some function,
186186like decrement, is a hard problem. But in practice there is only
187187one 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)
189189and recognizing it is not hard.