disjointing
not defined yet