x \in \mathbb{N}