@@ -157,9 +157,10 @@ type of lus arm.
157157
158158##### Discussion
159159
160−The primary use of `+*` is to assign aliases to doors (see Examples below).
161−Aliases given by `+*` do not count towards the number of arms in the door, which
162−can be important for things like Gall app cores.`
160+The primary use of `+*` is to create aliases within doors (see Examples below).
161+Aliases given by `+*` do not count towards the number of arms in the door and
162+thus are also called "virtual arms", which
163+can be important for things like Gall app cores that require a fixed number of arms.
163164
164165Under the hood, `+*` gets compiled as `=*`'s. `+* foo bar` rewrites each `++`
165166arm beneath it in the core to include