finishing proofObjects.v