User blog comment:P進大好きbot/Rathjen-type Ordinal Notation/@comment-11227630-20190823085852/@comment-35470197-20190823095938

> in fact it's very hard to tell that it's a powerful notation.

Also, I guess that it is really hard to show the whole well-foundedness.