March of time.  (now at 1880/6/8)  No requirements.

Proof that all requirements for march of time have been satisfied.

(feel free to skip.. boring quantifier stuff)

There exists no X such that X is an element of the empty set. [Empty sets have no elements.]
The requirements for march of time is the empty set. [March of time has no requirements.]
There exists no X such that X is an element of the requirements for march of time.  [...]
There exists no X, where X is a requirement for march of time.  [...]
For all X, X is not a requirement for march of time. [Therefore, for any given requirement, it is not a requirement for march of time.]
For all X, either X is not a requirement for march of time, or X has been satisfied. [...]
For all X, if X is a requirement for march of time, X has been satisfied. [p->q equiv to (NOT p) or q]
For all X, where X is a requirement for march of time, X has been satisfied. [...]
[All requirements for march of time have been satisfied.]
QED

Followed by new node event at new location (Epylar thinks about Italy momentarily while eating dinner.)