Initial commit of ProofObjects.v