Proofs_72213Edits_72213