disjoining
not defined yet