Taking the “Oof!” Out of Proofs innbundetEngelsk, 2024