more peano stuff