 Uniformity condition  A strategy \(\sigma_0\) for \(G_M(\phi)\) is uniform if any two plays \(\overline \rho, \overline \gamma \in \Pi(G_M(\phi), \sigma_0)\) which end in two positions \((\eqord(x_1 \ldots x_n, y), s)\), \((\eqord(x_1 \ldots x_n, y), s')\) for the same instance of the dependence atom \(\eqord(x_1 \ldots x_n, y)\) we have that 