fixed naming issue for representative term of equivalence classes