Strict implication correctly formalizes necessary conditional: if A strictly implies B, then ¬◇(A ∧ ...
This proposition has not been edited since the history system was added.