e. griggs - mini proofs

October 24th, 2023