Disjunction Distributes over Conjunction