Neste generasjon forsvarssystemer vil ikke bare fungere. De vil kunne bevise matematisk at de presterte riktig. Det er standarden Lagrange bygger mot.