Too much discussion about what DEX has adequate ADL and not enough opensourcing of code to verify