Not sure why your comment is being down voted. Decentralized Governance and formal verification of smart contracts of Tezos are really good!