mandy - proofs

November 7th, 2022