 Moves 10–11: the proponent resolves the instruction by providing a proper local reason, \(p_{2.1}\). He is entitled to this elementary statement since the opponent has already stated it (move 7). The opponent however requests that the link with her own statements be made explicit, she asks that the local reason be justified by an equality with her own local reasons (structural Socratic Rule).