The outcome does not justify @johnfn's redemption celebration. That's why I decided to give him a heads up.

Aside from that, I think it's a joke. Like the value of pi example I gave in the other comment. If it's not, it is really just sad.