disjoint

not defined yet