"The protocol must be complete; there must be a specifed action for every possible situation."

Rust does this well.

https://i.nostr.build/AyJudkpngJqoP3I3.jpg