@@ -196,7 +196,7 @@ To assign an alias to a door, we often write the following.
197This is the idomatic way to assign the alias `this` to the door.
197This is the idomatic way to assign the alias `this` to the door.
199−Gall apps have a fixed number of arms, but sometimes you'd like to have more.
199+Gall app cores have a fixed number of arms, but sometimes you'd like to have more.
200This is where virtual arms come in. We note that it is often better style to
200This is where virtual arms come in. We note that it is often better style to
201compose cores with `=>` or `=<` to add more arms to a Gall app, though.
201compose cores with `=>` or `=<` to add more arms to a Gall app, though.