Ми пробували нагороди. Ми пробували аудити. Ми постійно отримували рекорт. @The3D_ старший віце-президент з інженерії @aave приєднується до заключної панелі, щоб пояснити, чи є формальні методи відповіддю. Канни, 27 березня.