Heidi's Proofs