disjoints

not defined yet