 Moves 6–7: before answering the opponent’s challenge, the proponent requests that she resolves the instruction in move 5, i.e., that she gives a proper local reason instead of an instruction (structural rule, resolution of instructions). The opponent resolves the instruction of move 5 and provides a proper local reason for her statement. Note that “\(\rqst \dots/L^{\supset}(p_2)\)” can be read as requesting what local reasons stand for \(L^{\supset}(p_2)\), thus asking the adversary to fill in the dots.