User blog comment:P進大好きbot/Criterion of the Order-Preserving Property of FGH/@comment-30846880-20191102055832

Is the following the original post of "Syst3ms' Condition"? https://googology.wikia.org/wiki/User_blog:Plain%27N%27Simple/A_question_for_proof-theory_experts#comm-62762