De volgende generatie defensiesystemen zal niet alleen presteren. Ze zullen wiskundig kunnen bewijzen dat ze correct hebben gepresteerd. Dat is de standaard waar Lagrange naar toewerkt.