User blog comment:P進大好きbot/Rathjen-type Ordinal Notation/@comment-39259101-20190819131438/@comment-35470197-20190820132902

So what do you think about the problem which I commented above?