 where \(p\) is an arbitrary propositional expression. \(T(t,p) = 1\) can be read “\(p\) is true at \(t\)”. This idea of obtaining a thin red line semantics by introducing a unique historical parameter has been discussed in (MacFarlane 2003, 330–331, cf. n. 10).