Note que para cada $p' \leq p$ e para cada ordinal $\dot{\alpha}$ escolhido pelo jogador 1, existe uma condição $q \leq p'$ escolhendo um $B$ tal que $q \Vdash \dot{\alpha} = B$.