Example 22.
Formal overview of “Close to the Edge” (1972)