Olemme ilmoittaneet, että menemme syvälle todistusjärjestelmiin, ja tämä on vasta ensimmäinen askel. Sanominen "käytämme ZK:ta" ei tarkoita mitään, ellei pysty itsenäisesti luomaan vahvistusavaimia uudelleen ja vahvistamaan, mikä ohjelma todella todistetaan