Smart contracts are not law, and are not smart.