 Further logic games Logic games exist for many other purposes. Ehrenfeucht-Fraïssé games serve model comparison (Ehrenfeucht 1961; Ebbinghaus &amp; Flum 1995), Lorenzen games perform proof analysis (Kamlah 1973 [1984]) and tableau games execute model construction (Hodges 1985). In each case, strategies in the game match important logical notions. In Lorenzen dialogue games, for instance, winning strategies for the Proponent of a claim correspond to proofs of that claim from premises granted by the Opponent, whereas winning strategies for the Opponent are constructions of counter-models. Thus, proofs and models, two quite distinct notions in logic, co-exist within a single game.