Baker 2023 Proofs