TBH it had me going. "Well, I guess we finally need to define this in an RFC." "Maybe this will helps against TLA spies hiding backdoors in critical infrastruct

TBH it had me going. "Well, I guess we finally need to define this in an RFC." "Maybe this will helps against TLA spies hiding backdoors in critical infrastructure." "Surely automatic theorem proofing could help with this." And "Oh..." I have had a terribly humorless day. The dryness made me chuckle in some deep hidden place.