New disjointness impl.