Conjunction is Left Distributive over Disjunction