Ich schaue mir die Vorträge vom Berkeley Proofs Workshop an und freue mich zu sehen, dass es auch in theoretischen Kreisen akzeptiert wird, "zkzk" zu sagen, um zu bedeuten, dass man tatsächlich zk hat.