User blog comment:Vel!/Ordinal Hyper-E/@comment-5529393-20130315210320

Same comment as in Ordinal BEAF: summing over all ordinals downwards is not really sensible, perhaps you should define a Q(alpha) consisting of all ordinals with nonzero coefficients.