Kim Proofs