disjuncts

not defined yet