. . . . "non-equivalence operation"@en . "3"^^ . "1"^^ . . . . . .