disjunctively

not defined yet