 The thesis is \((\forall x:A)(B(x)\supset B(x))\). Before applying the synthesis rule for universal quantification and initializing a play about reasons, the opponent opens a formation dialogue by requesting (move 3) that the proponent states that his thesis is a proposition (move 4).