User blog comment:Testitemqlstudop/On mapping positive integers to ordinals/@comment-35470197-20191027084415/@comment-35470197-20191027103654

> the three rules are exclusive

It is false, because Rule 3 is applicable to any non-negative integer. If you do not count the overlapping for m=0, Rule 3 conflicts Rule 2. For example, you can apply Rule 2 and Rule 3 to 0+2^2-1 = 2^0*3.