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.

I've been a fan of saying that things need to be compliant with RFC 1925 section 2.1. (It Has To Work.)