下一代防禦系統不僅僅是執行。它們將能夠數學上證明它們的執行是正確的。 這就是 Lagrange 正在努力達成的標準。