Conjunction Distributes over Disjunction