disjuncts
not defined yet