 Move 12: the proponent uses the Socratic Rule in order to explicit where his local reason comes from: it is exactly the same reason that the opponent used in order to resolve the instruction \(L^{\supset}(p_2)\). In other words, in this case, the reason for stating the consequent (i.e., the resolution of \(R^{\supset}(p_2)\)) is exactly the same as the reason for stating the antecedent of the implication.