m. barganier - mini proofs

October 13th, 2022