Puolustusjärjestelmät eivät voi vain noudattaa käskyjä. Heidän täytyy pystyä todistamaan, että he noudattavat sääntöjä. Korkean panoksen autonomisissa tilanteissa opetus ei riitä. Varmennus on.