Fix the Disjoint constraint