SUPP? - Fall 2025 - proofs