May is possibility: what can be opened from within. When May is applied to a recognition, it picks out the part that remains available for further exploration or transformation — what the structure’s interior preserves.
May arises in Movement II: Structural Stabilization as the dual of Must. Where Must picks out what survives all closure, May picks out what survives all opening. It identifies not what is secured but what is genuinely available — the recognition’s horizon of further determination.
Applying May twice changes nothing beyond the first application — what is possibly the case is possibly possibly the case. This self-consistency mirrors the idempotence of the Open operator from which May arises.
Must and May interlock: what is necessarily possible is possible, and what is possibly necessary is necessary. This interlocking is the modal expression of the balance between Close and Open — the two operators whose compatibility ensures that being can both consolidate and release without contradiction.
Directed motion (Flow) must preserve both Must and May — this is the law that flow preserves the modal core. Change happens within the space defined by what is necessary and what is possible, never violating either boundary.
Mathematical correspondence
May corresponds to the possibility modality (◇) in S4 modal logic, arising from the interior operator on a Heyting algebra. The S4 axiom (◇◇p = ◇p) is earned here from the idempotence of the interior operator.
Related
- Must — the dual: necessity, what survives all closure
- Open — the interior operator from which May is derived
- Identity — the trivial modality mediating between Must and May
- Maintains-Balance — the condition that a dynamic preserves Must and May