 Yet, there are limitations to such characterizations of game-theoretic properties in terms of logical laws. Formulas stating whether some player has a winning strategy change from model to model, as the number of modal operators depends on the size of the game tree. In fact, there is no uniform formula in the basic modal language expressing that player i can win in an arbitrary finite extensive form game. Such a formula can only be found in the modal μ-calculus (Venema 2008), where the statement that i has winning strategy can be expressed with the fixed-point formula 