User blog comment:Nayuta Ito/faketest/e0/@comment-31966679-20180809132507/@comment-31966679-20180810234259

Thank you for your responses.

P進大好きbot, I'll look into the links when I learn more about ordinals.

PsiCubed2, thanks for the easy explanation, and I'll look into well-defined OCFs to start with.