Most DeFi debates would make more sense if we decomposed DeFi into two different categories: Autonomous Finance and Verifiable Finance.