 Moves 0–4: the proponent states the thesis, the players choose their repetition ranks. The opponent challenges the thesis using the synthesis rule for universal quantification and the proponent defends by instantiating his universal claim.