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

That makes no sense, honestly. The rule can be fixed with the condition that \(\alpha > \beta\) and \(\beta \in \text{Lim}\)