User blog comment:Alemagno12/Not Taranovsky's C/@comment-5529393-20170811033625

Your last two definitions are self-referential; the definition of N(a,b) uses N(a,b), and the definition of Omega_x uses Omega_x.