 \(T(t,q) = 1\) can be read ‘\(q\) is true at \(t\)’. As in section 4.2 the valuation function has the range \(\{0,1\}\). A formula \(q\) is said to be T-valid if and only if \(T(t,q) = 1\) for any \(t\) in any branching time structure (TIME,\(\le\),C), any valuation function TRUE, and any TRL-function defined on TIME.