User blog comment:PsiCubed2/Counting with Ordinals/@comment-32213734-20171208103916/@comment-30754445-20171208120855

Yup.