Miriam's Proofs