Exactly. Regardless of what cryptonerds might be thinking about it, this actually may be a feature, not a bug. Laws aren't algorithms and court isn't a computer

Exactly. Regardless of what cryptonerds might be thinking about it, this actually may be a feature, not a bug. Laws aren't algorithms and court isn't a computer for a reason. There's plenty of space to occupy between "paper contract interpreted by humans" and "a contract where a bug in it is absolutely irreversible".