Add disjoint? judgment