 Moves 0.1–3: O states the initial concession, that 0 is a natural number; the players choose their repetition ranks and O challenges P’s thesis by requesting that he justifies his claim that 2 is a natural number.