print_proof_check

press proof - Nigel Stevenson