Nick's Proofs