. . . "equivalentClass" . .