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

I don't believe that's correct.

We have 1=0+2^1-1, thus map(1) = map(0)+1 = 1.

And even if that first equality were correct, w^{map(1)} would be w^w, not w