Contradiction vanishes outside all propositions: tautology vanishes inside them.
3
