 In general, we can inductively define a chronicle-independent valuation function, using TRUE, which as mentioned in section 4.2 gives a truth-value (0 or 1) for any propositional constant at any moment in TIME, and using the TRL-function. On this basis, the valuation function, \(T(t,p)\) can be defined recursively for any wff \(p\), and any moment of time \(t\):