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

Interesting...