Kinsley Proofs