 A complete axiomatization of bundled tree validity is given in Zanardo (1985) and Reynolds (2002). Finding a complete axiomatization for Ockhamist validity turned out more difficult. It has been shown that the class of Ockhamist trees is not definable in the class of bundled trees (Zanardo et al. 1999). In Reynolds (2003), a complete axiomatization for Ockhamist validity is claimed and a proof sketched. In this system, the problem of emergent histories is dealt with by an infinite axiom scheme that is based on the formula given above and is supposed to guarantee the ‘limit closure property’. The full proof, however, has not appeared yet. The proposed axiomatic system can be found in the supplementary document: