proof (book)

literal strings: Proof, PROOF, proof

categories

relations