Eloise’s Proofs