Final EditedProofs