. "equivalentClass" . . . .