Implication is Left Distributive over Conjunction/Reverse Implication/Formulation 1/Proof