To me, this (together with the fact that software will always have bugs) is why smart contracts are a very bad idea.