n_\varepsilon \in \mathbb{N}