 These are all elementary statements. The rules for elementary statements concerning natural numbers are the following: if a player \(\mathbf{X}\) states that \(n\) is a natural number, \(\mathbf{Y}\) may request that \(\mathbf{X}\) states that \(s(n)\) is a natural number. 