disjoined set, first draft