 For instance, take a chess player in mid-game reasoning. For simplicity, restrict the possible end games to \(G_{F_1}\) and \(G_{F_2}\). The player can then conceptualize mid-play as a game \(G_{mid}\) with end nodes labeled by propositions \(p_1\) or \(p_2\), describing which of the two end games follows. The full remaining chess tree is then given by