Exploring Formalisation - häftad, Engelska, 2022