K. C. Proofs