 It is now P’s turn. He can either defend the challenge on the implication, or challenge O’s statement (move 1). If he defends the implication, he must state the consequent (here \(p\)). If he challenges the conjunction, he must choose one of the conjuncts and request it.