Create ProofObject.v