"A math:ReverseFunction is unambiguous in terms of math:EqualTo. " . . .