disjoin

not defined yet