Footnote 1:

The equivalence is not quite exact because "t ago: u ago: p" entails the existence of three times: the present, t units ago, and t+u units ago, while "t+u ago: p" need only entail the existence of the present and of t+u units ago. We get full equivalence on the assumption that for any real t there is a time t units ago.

Press the back button on your browser to go back to the post