Create ProofTest