 Move 6: in order to answer O’s challenge at move 5, the proponent needs to choose a disjunct and state it. Because of the  Formal Rule SR2,  he is not allowed to choose \(\Qa\) because the opponent has not previously stated it. However, P is allowed to choose \(\Pa\) because O stated it at move 3.