 As already noted, there is a systematic connection between the Skolem functions and strategy functions of player 2. In connection with formulas in prenex form, a Skolem function for an existential quantifier is a function of the values assigned to the preceding universal quantifiers, but not a function of the values assigned to the preceding existential  quantifiers.[15]  Skolem functions are strategy functions taking as arguments exclusively moves made by player 1. Generally a strategy for a player in a two-player game can perfectly well make use of the previous choices of either player. Hodges (2007) stresses that it makes a difference on which notion – Skolem function or strategy function – the semantics of imperfect information is based. Hodges (1997a) adopted the notational convention of writing, say, \((\exists y/x)\) where Hintikka writes \((\exists y/\forall x)\), hence marking the difference between semantic games formulated in terms of arbitrary strategy functions and those whose strategy functions are in effect Skolem functions; the variable \(x\) in \((\exists y/x)\) can be ‘bound’ by any syntactically preceding quantifier carrying the variable \(x\). Hodges proposed to employ the former formulation, while in Hintikka (1991, 1995, 1996, 2002) and Sandu (1993, 1994) the latter formulation is employed. Hodges (2007: 119) writes: