What does this even mean? Contracts are already formalized agreements. Indeed, that's their entire purpose, to formalize and memorialize an agreement between parties. The post in the OP is right: contract issues arise from human interpretation and performance issues, not any of the simplistic automatic elements "smart contracts" might be able to help with.
Yea your right maybe law isn’t the best use case still doesn’t make a valid point. You can take the weakest use case for anything and rant about how that thing is useless. Also sounds like OP takes the phrase “smart contract” literally as in a replacement for normal “contracts” as if they were designed specifically for law