proof (tableitem)

literal strings: Proof, PROOF, proof

categories

relations