 One corollary is that Hintikka’s justification for reading negation as dualising (‘players swap places’), in his games for first-order logic, doesn’t carry over to IF logic. Hintikka’s response has been that dualising was the correct intuitive meaning of negation even in the first-order case, so no justification is needed. 