Guess the number
::=