Auch das Programm selbst wurde überprüft vom Spezialisten für formal proof verification David Gries, er fand aber nur einen Fehler auf der sicheren Seite, beklagte aber die Unstrukturiertheit des Codes.