 In order to reason about a collection of plays and consider questions such as “what would happen if player \(\mathbf{X}\) had made another choice?”, game-theoretical settings have the key concept of strategies. There are various equivalent ways to define strategies, though in the Lorenzen and Lorenz tradition, winning strategies can be built from plays through a procedure that allows to check if every possible choice of P has been taken into account. However, in the context of results connecting the dialogical framework with other frameworks, it is useful and quite common to identify strategies with their extensive forms. Here are the relevant definitions.