Renee's Proofs