 We say that a strategy \(\sigma_0\) is winning if every play \(\overline \rho\) which ends in a position \((\alpha, s)\) where \(\alpha\) is a first-order literal is such that the assignment \(s\) satisfies \(\alpha\) in the usual sense of Tarski’s semantics. Dependence atoms—and the plays which ends in dependence atoms—are of no relevance for deciding whether a given strategy is winning. However, they are used to specify whether a given strategy is uniform: