Gödel's Theorem - sidottu, Englanti, 2017