User blog comment:Vel!/Ordinal BEAF 2.0/@comment-1605058-20130409185548/@comment-5150073-20140117162613

From my current vision, $$\lbrace(0,10)(1,10)(\omega_1,10\rbrace = \lbrace(0,10)(1,10)(\omega)\rbrace$$, as $$\omega_1[n] = \omega[n]$$ for finite n.