Kurt Gödel - heftet, Engelsk, 2011