$f:{\mathbb{N}}_1{\mathbb{N}}_1$