User blog comment:PsiCubed2/Something to Ponder Regarding Sequences and Ordinal Notations/@comment-11227630-20181121160935/@comment-30754445-20181121162746

Yup.