 Similarly, the successors of \((\psi \land \theta, s)\) are \((\psi, s)\) and \((\theta, s)\), and the successors of \((\forall v \psi, s)\) are all positions of the form \((\psi, s')\) for \(s' \sim_v s\); but a strategy for Player \(0\) cannot specify a successor for these positions, as it is assumed that Player \(1\) chooses which position follows them.