Variable-free validities like ¬◇(A ∧ ¬A) → B collapse distinctions between tautologies and contingen...
This proposition has not been edited since the history system was added.