The philosophy of Enter as an interface discipline

The philosophical contribution is not an extra dynamical axiom. It is the requirement that an interpretation remain attached to the input, access rights, outputs, and continuation that actually support it CheungPhilosophy. For the present construction this discipline has five precise consequences.