 Moves 8–9: the proponent answers the pending challenge on the implication by using an instruction that selects the right part of the local reason for the implication, thus backing the consequent. The opponent requests the resolution of that instruction.