 If a token of \((\vee /\forall y_1 ,\ldots ,\forall y_n)\) or \((\exists x/\forall y_1 ,\ldots ,\forall y_n)\) appears in the formula \(\phi\) in the scope of the universal quantifiers \(\forall y_1 ,\ldots ,\forall y_n,\forall z_1 ,\ldots ,\forall z_m\) (and only these universal quantifiers), a strategy function of player 2 for this token in game \(G(\phi , M, g)\) is any function \(f\) satisfying the following: