 Technically, the difference between a possible worlds based approach and a branching time based approach can be overcome by equipping branching time structures with a primitive set of histories that is rich enough to cover the entire structure, a so-called bundle. A bundle tree is defined as a triple \(\langle T,\prec,\mathcal{B}\rangle\) where \(\mathcal{T} = \langle T,\prec\rangle\) is a tree and the bundle \(\mathcal{B} \subseteq \mathcal{H}(\mathcal{T})\) is a non-empty set of histories such that every instant in \(\mathcal{T}\) belongs to some history in \(\mathcal{B}\) (Burgess 1978; 1980). The Ockhamist branching time logic straightforwardly generalizes to bundled trees: the sole difference is that the semantics is now restricted to histories from the bundle. Bundled tree validity is equivalent to Kamp validity (Zanardo 1996; Reynolds 2002), but it is weaker than full Ockhamist validity. Reynolds (2002) provides the following example of a formula that is Ockhamist valid but falsifiable in bundled trees (further counterexamples were provided in e.g. Burgess 1978 and Nishimura 1979):   \[\Box G(\Box p \to \Diamond F \Box p) \to \Diamond G(\Box p \to F \Box p).\]   The antecedent of this formula intuitively allows one to construct a ‘limit history’ in which \(\Box p\) always holds from an infinite bundle of different histories. Such limit histories may be omitted in bundled trees, which gave rise to philosophical discussions concerning the adequacy of those frames (see e.g. Nishimura 1979; Thomason 1984; and Belnap et al. 2001).