Disjunction is Associative