Kurt Gödel - pocket, Engelska, 2013