Final EditedProof