disjoined
not defined yet