Program Proofs - heftet, Engelsk, 2023