Must is necessity: what survives all closure. When Must is applied to a recognition, it picks out the part that persists under every consolidation — the core that cannot be undone by further distinction. What Must identifies is what the structure’s own inward consolidation secures.
Must arises in Movement II: Structural Stabilization when the equilibrium between Close and Open gives rise to two ways of qualifying what holds of a recognition. The inward motion — consolidating relation until no further addition changes its form — manifests as necessity. The outward motion manifests as possibility. These are not imposed logical categories. They emerge from the structure’s own self-stabilization.
Applying Must twice changes nothing beyond the first application — what is necessarily the case is necessarily necessarily the case. This self-consistency reflects the idempotence of the closure from which Must arises.
Must and May interlock: what is necessarily possible is possible, and what is possibly necessary is necessary. Every recognition carries two boundaries — a necessary boundary that secures its coherence, and a possible boundary that secures its openness. Understanding how these boundaries interact allows one to discern what holds firmly in a relational system from what remains open to further determination.
Directed motion (Flow) must preserve both Must and May — this is the law that flow preserves the modal core. Directed evolution respects the boundaries of necessity and possibility, never collapsing either.
Mathematical correspondence
Must corresponds to the necessity modality (□) in S4 modal logic, arising from the closure operator on a Heyting algebra. The S4 axiom (□□p = □p) is earned here from the idempotence of closure.
Related
- May — the dual: possibility, what survives all opening
- Close — the closure from which Must is derived
- Identity — the trivial modality mediating between Must and May
- Maintains-Balance — the condition that a dynamic preserves Must and May