Madelyn proofs