 Move 8: P is able to answer O’s pending challenge (move 3) by stating the nominal definition that 2 is the successor of the successor of 0, thus justifying his thesis that 2 is a natural number. O has no available move left, so she loses.