[Animats]

You can't be sure they're implemented properly. Or what if they run out of "fuel"? Like the DAO's code.

It's not enough that contracts execute. They have to be amenable to audit.