Yes. Which means that Ethereum guys quite quickly after DAO hack started to think that "code as law" is actually a really stupid idea. What is beyond my understanding is how anyone believes into the smart contracts using Ethereum after that, though.