 When viewing games as static structures, rationality can be defined in terms of coherence between players’  beliefs, preferences and choices or intentions  (Elster 1988). However, rationality also describes a quality of behavior, related to how players act or what they take advantage of when deliberating about a game. The relation between both perspectives can be made concrete when interpreting game solution procedures as styles of pregame deliberation. To follow is a dynamic analysis of Backward Induction (cf.  Section 3.3)  that differs conceptually from  characterization theorems  in terms of static properties such as common knowledge or common belief. In the dynamic analysis, these group properties are not assumed as preconditions. Rather, they are produced through the logic of deliberation.