. "InverseFunctionalProperty" . .