Marie's Proofs