Post
A theory written only in prose cannot be checked mechanically. This post represents a theory of modality switching as structured data, derives the conditional independencies it forbids and tests those claims against data from the theory and a rival account.