Contains either references or my notes about Prof. Thaler’s ProofsArgsAndZK book.