No pages link to Implication is Left Distributive over Conjunction/Reverse Implication/Formulation 1/Proof.