Implication is Left Distributive over Conjunction