disjoins

not defined yet