[jdvh]

Even encryption algorithms proven correct later turned out to be critically flawed.

The legal system is such a quagmire because figuring out what is "right" in all scenarios is anything but obvious. That's how we end up with laws we don't enforce and technical legal behavior that will still get you into trouble. But what's the alternative? Robot justices? No thanks.

If the complexity is in the nature of the problem, then smart contracts must contain all of this complexity. But how can you ever write smart contracts that are bug free and deal with every contingency?

Instead of making systems that are buggy, cold, and unforgiving we should be making systems that are more tolerant of human mistakes.