. . "InverseFunctionalProperty" .