Kurt Gödel - inbunden, Engelska, 2022