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