"InverseFunctionalProperty" . . .