För mycket diskussion om vilken DEX som har tillräcklig ADL och för lite öppen källkod för att verifiera