ProofObjects: Initial commit