Kim- EditedKim- Proofs