Their crowned truths

The idea is too tempting, it's obsessive.

I see smurves and I see milves because of wolves and of elves. -BC

That is, it is necessary to check whether a run is Zeno so as to avoid presenting Zeno runs as counterexamples.