for ease of presentation, it is convenient to associate games not only to sentences, but also to formulas. more precisely, one defines games formula_47 for each triple formed by an if formula formula_23, a structure formula_49, and an assignment formula_50.