Verifying Proofs...