'proofcheck'