 (The correct translation cannot be \(\forall x(\text{Now} Lx \rightarrow \mathrm{F}Ux)\), with \(\mathrm{F}\) taking narrow scope, because (3) says there is a future time when all things now living are unknown together, not that each living thing will be unknown in some future time of its own). When the truth conditions for (3)\('\) calculated, using (Now) and the truth condition (\(\mathrm{F}\)) for \(\mathrm{F}\), it turns out that (3)\('\) is true at time \(u\) iff there is a time \(t\) after \(u\) such that everything that is living at \(t\) (not \(u\)!)  is unknown at \(t\).