. "defined by inverse" . .