Forsvarssystemer kan ikke bare følge ordre. De må kunne bevise at de er i samsvar. I høyrisiko-autonome situasjoner er ikke undervisning nok. Verifisering er det.