Tautological Antecedent/Proof 1