Why Buterin’s Options-Based DeFi Model Targets Liquidation Risk