 Move 5: the opponent can challenge this statement by applying the formation rule for universal quantification given in the table above, and chooses one of the possible challenges: she asks for the first part of the expression with “\(\rqst_{\forall{}1}\)”.