menonton pembicaraan dari lokakarya pembuktian Berkeley, dan senang melihat bahwa juga di lingkaran teori itu menjadi diterima untuk mengatakan zkzk berarti Anda benar-benar memiliki zk.