Re: [math-fun] bug lists non-well-ordered; roll over, Peano