User blog comment:Vel!/Ordinal BEAF/@comment-5150073-20130315133136/@comment-25418284-20130315203003

Seems legitimate. If \(\varepsilon_0\), \(\zeta_0\), ... are roughly equivalent to n-ational arrays, then it would seem logical that \(\varphi_\omega(0)\) is comparable to expandal arrays.