Rules: Simple. State whether the non-negative integer n currently on display is prime or not.

If you're right, you'll advance to the next number $s(n) = n + 1$ where $s:\mathbb{Z} \rightarrow \mathbb{Z}$ is the Peano successor function.

If you're wrong, back to the beginning it is.