 Move 4: in order to defend himself, the proponent would need to play an elementary statement which has not yet been stated by the opponent. Because of the   Formal Rule, this is not allowed. But there is something else the proponent can do: he can challenge the statement O made at move 3.