Jay Proofs