Chapter 4: Let's do some Peano arithmetic\!