ProofCheck For ProofMode