disjunctor

not defined yet