Add second peano arithmetic solution.