p : \mathbb{N} \to \mathbb{N}