Sistem pertahanan generasi berikutnya tidak hanya akan berkinerja. Mereka akan dapat membuktikan secara matematis bahwa mereka berkinerja benar. Itulah standar yang sedang dibangun Lagrange.