\varphi:N\rightarrow R