Melanie & Friends (proofs)