commutativity of disjunction