User blog comment:TheKing44/Ordinal Definable System of Fundamental Sequences/@comment-35470197-20191201030851/@comment-35470197-20191202132016

> Sorry, I did not realize the argument was more involved than I thought.

I am sorry if I bothered you by a silly question. Thank you for the detail!