t. granjean - mini proofs

October 25th, 2022