 Moves 5–6: O defends her universal quantification by instanciating her statement with P’s choice of instance (see the particle rule). By doing so, she states the elementary statement that the proponent needed in order to answer to move 3: he does so with move 6, which is written in front of the corresponding challenge. With this the proponent wins the play.