 Correspondingly, Falsifier has a winning strategy if the formula \(\varphi\) is false in the model. Evaluation games turn out to be an extremely flexible tool. By suitably modulating rules and winning conventions, adequate evaluation games can be found for most logical systems. Doing so, however, can be a highly non-trivial task, as witnessed by the intricate infinite ‘parity games’ corresponding to fixed-point logics such as the modal μ-calculus (Venema 2008). For the present purpose, it should be noted that this style of analysis ties the very logical operations, conjunctions, disjunctions, modal operators, to natural moves in a game. Similarly, the notion of truth is linked to the fundamental game-theoretic notion of a strategy in an extensive form game (cf.  Section 2):  a complex, structured object which may here be understood as a reason or an explanation for the truth or falsity of the formula.