export in_same_set