
$f: N^+ \rightarrow
  N^+$
