Ke Proofs