disjunction

not defined yet