Completed ProofObjects