Final Edits 2023proofs