Thế hệ tiếp theo của các hệ thống phòng thủ sẽ không chỉ hoạt động. Chúng sẽ có khả năng chứng minh một cách toán học rằng chúng đã hoạt động đúng cách. Đó là tiêu chuẩn mà Lagrange đang hướng tới.