OR/disjunction implemented