This makes enormous sense, and, incidentally, shows why the notion of "smart contracts", "the code is the law", etc. is pure folly.