Create ProofChecker