Kurt Gödel - nidottu, Englanti, 2022