Seuraavan sukupolven puolustusjärjestelmät eivät vain toimi. He pystyvät matemaattisesti todistamaan, että suoriutuivat oikein. Se on se standardi, jota Lagrange rakentaa.