Kim proofs

December 4th, 2019