davis - sr mini proofs

April 3rd, 2024