 The notion of the strategy function of player 1 for tokens of \((\wedge /\exists y_1 ,\ldots ,\exists y_n)\) and \((\forall x/\exists y_1 ,\ldots ,\exists y_n)\) can be defined dually. Strategy functions are construed as Skolem functions – the more general notion of strategy function operative in slash logic is not considered here (cf. the beginning of Sect. 3 and Subsect. 6.1). Quantifier independence will be implemented directly in terms of the arguments of the strategy functions.