 The correspondence between the dialogical approach and other frameworks such as tableaux is to be found at the level of strategies, and more precisely of strategies for the proponent. So, from the dialogical point of view, tableaux rules are limited to how (particle) rules are applied in the context of a P-strategy; they are thus insensitive to the play level (where semantics is defined in terms of interaction). In fact, in the demonstration of the equivalence it is made clear how transforming a winning P-strategy into a tableau proof supposes getting rid of most elements constitutive of interaction (such as most challenges) until the player labels O and P become nothing more than an alternative way of writing the usual tableau signatures \(T\) and \(F\).