Global definitions are visible everywhere, including above themselves. This mirrors SMath's ≡, so imported worksheets keep working.
The design summary comes first, even though its inputs are defined below.
Inputs