 whereas (P3) in section 2 will not be TRL-valid for propositions depending on the future. However, the notion of validity suggested above may also allow for the following definition of \(C(t)\), which has been discussed in (Braüner et al. 2000):