 This seems to be much more natural in relation to the notion of a true futurist branching time logic. Belnap has later accepted that (TRL2′) is a plausible alternative to (TRL2) (see Belnap et al. 2001, p. 169).