k. farris - mini proofs

November 3rd, 2023