The strategy is a winning strategy if and only if ??? that is, every infinite path consistent with the strategy is in the payoff set . (Everything I say about Player I can be easily adapted to corresponding statements about Player II ??? I won???t keep pointing this out.) Which subtrees can be obtained in this way?