Disjunction is Commutative