 There is, however, a simpler strategy which makes it possible to ensure the validity of (T3) and (T3′) even if one wants to insist on the assumption of the thin red line. This can be done by defining “true at time \(t\)” in terms of “true at time \(t\) and chronicle \(c\)”, as it is defined in the Ockhamist semantics: