User blog comment:Vel!/Ordinal BEAF 2.0/@comment-1605058-20130409185548/@comment-25418284-20140117235615

That makes little sense, because an important property of fundamental sequences is that $$\sup\{n < \omega : \alpha[n]\} = \alpha$$.