Inclusive disjunction