On non-standard models of Peano Arithmetic (The Reasoner, 2008)