User blog comment:P進大好きbot/A larger orderinal does not necessarily correspond to a greater function through FGH/@comment-30279966-20200114121145/@comment-35470197-20200114123626

Right.