Title: Proof correction and copy preparation