disjoint
not defined yet