Godel's Proof - pocket, Engelska, 2018