a. nader - mini proofs

October 24th, 2023