. "g -> f" . . . .