@@ -158,11 +158,12 @@ type of lus arm.
158158##### Discussion
159159
160160The primary use of `+*` is to assign aliases to doors (see Examples below).
161−However, they may also be used to define "virtual arms" which behave like
162−ordinary arms except that they allow nesting within cores that requires a specific
161+However, they may also be used to define "virtual arms" that do not count
162+towards the number of arms in cores that requires a specific
163163number of arms, such as Gall app cores. Put another way, no matter how many virtual
164−arms are defined in a `+*` statement, the interpreter will see it as only being
165−a single arm for the purposes of nesting.
164+arms are defined in a `+*` statement, the interpreter does not count it towards
165+the number of arms in the core. How these virtual arms really work can be understood more
166+precisely by the following.
166167
167168Under the hood, `+*` gets compiled as `=*`'s. `+* foo bar` rewrites each `++`
168169arm beneath it in the core to include