Underestimate blockchain at your peril

Builders and electricians make mistakes all the time. Those mistakes can be fixed, and frequently are, and it's usually no big deal.

Arguing that all we need to start developing perfect software is the right motivation seems ... optimistic.

Even if it was true, there's a cost consideration. Historically, applying our best tools for software verification to every piece of software has been prohibitively costly. If writing smart contracts is more expensive than hiring a lawyer to write a contract the old-fashioned way, people won't do it.