Yeah I was tempted to add a caveat, it does technically auto executive, but because it needs to interact with the real world it will always run into the oracle problem. The only solution to the oracle problem is courts and tort law, which makes the blockchain contract redundant and unnecessarily expensive.