Implication is Left Distributive over Disjunction