kinley proofs