disjunctive

not defined yet