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