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