partition-by-equivalence