Les systèmes de défense ne peuvent pas simplement suivre des ordres. Ils doivent être capables de prouver qu'ils sont conformes. Dans des situations autonomes à enjeux élevés, l'instruction ne suffit pas. La vérification est nécessaire.