 Moves 6–7: the proponent is entitled to the elementary statement \(A: \bset\), since the opponent has already stated it (concession 0.1). Since the opponent’s repetition rank is \(\rank{1}\), she cannot attack anymore, the formation dialogue is over and she challenges the universal quantifier of the thesis. The rest of the play is, except for the move labels, the same as above.