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