 A sentence of IF first-order logic is by definition true in a model \(M\) iff there is a winning strategy for player 2 in the correlated game, and false iff there is a winning strategy for player 1 in the correlated game. There are sentences which under these criteria are neither true nor false; they are called non-determined (see Subsect. 3.3).