Tautological Consequent/Proof 1