more general games can be used to assign a meaning to (possibly open) if formulas; more exactly, it is possible to define what it means for an if formula formula_23 to be satisfied, on a structure formula_49, by a "team" formula_150 (a set of assignments of common variable domain formula_151 and codomain formula_49).