Jarred's Proofs