 However, with the semantics presented above, (T3) will not be valid. To see why this is the case, consider a situation with a moment of time \(t_1\) such that \(t_1 \not\in \TRL(t_0)\) for any \(t_0\lt t_1\). Assume that \(t_1\) is the only moment at which \(q\) is true. Then \(PFq\), hence also \(q \supset PFq\), will be false at \(t_1\).