Następna generacja systemów obronnych nie tylko będzie działać. Będą w stanie matematycznie udowodnić, że działały poprawnie. To jest standard, do którego dąży Lagrange.