@@ -164,7 +164,7 @@ can be important for things like Gall app cores that require a fixed number of a
164164
165165Under the hood, `+*` gets compiled as `=*`'s. `+* foo bar` rewrites each `++`
166166arm beneath it in the core to include
167−`=* foo bar`. For example, the interpreter sees this Hoon expression
167+`=* foo bar`. For example, the interpreter sees the Nock compiled from this Hoon expression
168168
169169```hoon
170170|_ z=@ud
@@ -173,7 +173,7 @@ arm beneath it in the core to include
173173++ y (sub z n)
174174--
175175```
176−as being identical to this one:
176+as being identical the Nock compiled from this one:
177177```hoon
178178=| z=@ud
179179|%