added a disjoint test