eliminated EquivalencesMap