add_proof return proof object