 After the thesis has been stated, the opponent O chooses a positive integer which will be her repetition rank during the play. Then the proponent P chooses his own repetition rank. Repetition ranks are chosen at context \(c_{1}\).