Heather's Proofs