ensure that synchro sets are disjoint