\varphi\colon\mathbb{N}\to\mathbb{N}