...
The schema file StateC3.scm is configured to re-initialize its operators upon activation. As a result, each time the system enters state C in Figure 5.13c, the entire sequence executes (first state Step 1, then state Step 2, and then state Step 3). If the schema file were not configured to re-initialize upon activation, then the system would immediately resume executing Step 3.