Nästa generation av försvarssystem kommer inte bara att fungera. De kommer att kunna bevisa matematiskt att de presterade korrekt. Det är den standard Lagrange bygger mot.