Rule of Material Implication/Formulation 1/Reverse Implication/Proof 1