Proofs (2024 edition)