La prochaine génération de systèmes de défense ne se contentera pas de fonctionner. Ils seront capables de prouver mathématiquement qu'ils ont bien fonctionné. C'est la norme vers laquelle Lagrange se dirige.