Melanie proofs