Contravalidity requires that denying a proposition yields a logical contradiction; vacuous substitut...
This proposition has not been edited since the history system was added.