Proofs (2023 edition)