
$g_0 : {\bf N}
  \rightarrow
  \bN$
