 Equivalence of GTS and team semantics:  A formula \(\phi\) is satisfied by a team \(X\) (with respect to a model \(M\)) if and only if Player \(0\) has a uniform winning strategy in \(G_{M,X}(\phi)\).