No proof verifier verifies all valid proofs and terminates on all invalid proofs.

(actually I am wrong. You would introduce a new proof, and then step the verifier on all ongoing proofs, so non-termination isn't a driving concern)