re-did peano.tex with predicates and prooftrees