sledoval jsem přednášky z Berkeley proofs workshopu a byl jsem rád, že i v teoretických kruzích se začíná uznávat říkat zkzk ve smyslu, že ve skutečnosti máte zk.