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

By no means! When writing the blog post, I had a much shorter argument in mind, but it when I went to type it in reply to your comment I realized it was wrong, and had to create a new one. If you have any other questions or if anything is unclear, feel free to ask!