Disjunction is Left Distributive over Conjunction