Kim L proofs