Subtle modal combinations involving inference, counterfactuality, obligation, permission, and unrealized possibility.
