User blog comment:Ikosarakt1/Hardy hierarchy up to psi(K)/@comment-25418284-20140617140300/@comment-5529393-20140703212613

the rule will still fail with $$\alpha = \omega^2 + \omega$$ and $$\beta = \omega^2$$.

The best way to handle it is to use Cantor Normal Form.