Proofs and Ideas - häftad, Engelska, 2022