Logic in Arithmetic - pocket, Engelska, 2007