3.5. Being guided by the rules

3.5.0. Overview

Derivations are now more varied in form and sometimes more complex than in the last chapter, but simple knowledge of when rules may be applied is enough to guide their development

3.5.1. Approaching derivations
Each rule can be applied independently of the others, and each choice of a rule to apply turns on a simple description of the circumstances in which it is applied.

3.5.2. An example
An extended example illustrates the sort of thinking that guides the development of a derivation.

3.5.3. A procedure
This sort of thinking can be summarized as a procedure for developing derivations.