Those things are neither smart nor contracts. They are just pieces of code in esoteric programming languages running on world's slowest VMs. They encode primit

Those things are neither smart nor contracts. They are just pieces of code in esoteric programming languages running on world's slowest VMs. They encode primitive trivial rulesets and are still so complex that their own authors fail to see trivial errors even after multiple audits. An actual real world contract such as buying or selling property (which I've done several times now) would be a beast of such byzantine proportions that it would take until the heat death of the universe to write and audit it. And it would still be unenforceable after that.