tittar på föredragen från Berkeley Proofs Workshop, och glad att se att det även i teorikretsar blir accepterat att säga zkzk för att betyda att du faktiskt har zk.