SnakeSequence and WellOrdered Numbers