Die nächste Generation von Verteidigungssystemen wird nicht nur funktionieren. Sie werden mathematisch nachweisen können, dass sie korrekt funktioniert haben. Das ist der Standard, auf den Lagrange hinarbeitet.