User blog comment:Testitemqlstudop/On mapping positive integers to ordinals/@comment-43798125-20191027101113/@comment-44130370-20191027102347

I think my ord is one-to-one while the one on conwaylife isn't