 This has it that the Now\(B\) is true at a time u of utterance and time e of evaluation provided that B is true when u is taken to be the time of evaluation. When the truth conditions for F, \(\forall\), and \(\rightarrow\) are revised in the obvious way (just ignore the u in the pair), (3)\('\) is true at \(\langle u, e\rangle\) provided that there is a time \(e'\) later than e such that everything that is living at \(u\) is unknown at \(e'\). By carrying along a record of what \(u\) is during the truth calculation, we can always fix the value for ‘now’ to the original time of utterance, even when ‘now’ is deeply embedded in other temporal operators.