 Move 5: the opponent challenges the implication with local reason (analysis rule). A local reason for an implication is complex: it has a left part for the antecedent, and a right part for the consequent. She thus uses an instruction to take only the left part of \(p_2\) as the reason for the antecedent.