Footnote 1:

Let S be the set of times at which the table exists. Assuming times are numerical, the set S will have an infimum t0, and at all times before t0 there will be no table, and at all times after t0 and before any subsequent destruction of the table there will be a table.

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