La prossima generazione di sistemi di difesa non si limiterà a funzionare. Saranno in grado di dimostrare matematicamente di aver funzionato correttamente. Questo è lo standard verso cui Lagrange sta lavorando.