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.