Следующее поколение систем обороны не просто будет работать. Они смогут математически доказать, что выполнили свою задачу правильно. Это стандарт, к которому стремится Lagrange.