> That's the worst possible typo for this conversation.

Damn autocorrect! And it's too late to edit it, too.

Yes, that should say "provably irrational".