 Note that move 4 does not appear in front of move 3 since it is not a defence against that move: it is a new challenge. With his challenge, the proponent applies the particle rule for universal quantification and chooses the individual constant \(a\).