 Game-theoretical interpretation of quantifiers was already suggested by Henkin (1961; cf. Hintikka 1968: 64). Henkin also pointed out, in effect, the connection between a full set of Skolem functions and a winning strategy for player 2. Hintikka (1968) noted that conjunctions are naturally interpreted by a choice between the two conjuncts, made by player 1; similarly, disjunctions can be interpreted by a choice by player 2 between the two  disjuncts.[13]  Further, Hintikka proposed to interpret negation as a transposition of the roles of ‘verifier’ and ‘falsifier’ (for more details, see Subsect. 3.2). 