Nikki's Proofs