. . "equivalentClass" . . .