 But this condition translates immediately into the language of games; the Skolem functions \(f_0\) etc. define a winning strategy for \(\exists\), telling her how to choose in the light of earlier choices by \(\forall\). (It came to light sometime later that C. S. Peirce had already suggested explaining the difference between ‘every’ and ‘some’ in terms of who chooses the object; for example in his second Cambridge Conference lecture of 1898.)