Tentamos recompensas. Tentamos auditorias. A gente continuava sendo destruído. @The3D_ SVP de Engenharia @aave se junta ao painel de encerramento para nos dizer se métodos formais são a resposta. Cannes, 27 de março.