Proof_doc_3