Miss KL Proofs

Miss KL Proofs