inclusive disjunctions