hello world append factorial propositional calculus---never really made it! peano-commutativity ---showing the law of commutativity of addition peano---new peano page avoiding succ errors