“I think DeFi, therefore I MEV. - @semanticlayer @verilog_audit”