Benjamin and Yasmine's Proofs