On non-standard models of Peano Arithmetic. The Reasoner, v. 2, n. 2, 1 Feb.2008.