User blog comment:Rgetar/Regular and singular ordinals/@comment-25601061-20180425011556

your next step is to use I to diagonalize over Ωxs in a similar way that you used Ωy+1s to diagonalize over Ωys