Kennedy Proofs