 The fact that \(\phi\) is true in \(M\) will be denoted by ‘\(M \vDash \phi\).’ Writing \(M \not\vDash \phi\) indicates, then, that \(\phi\) is not true in \(M\). This does not mean that \(\phi\) would in the above-defined sense be false in \(M\). As mentioned in the end of Section 2, there are semantic games in which neither player has a winning strategy.