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

quite obviously my analysis seems to be completey false but i can`t point my finger at the exact problem at the moment...