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

\(\lbrace(0,10)(1,10)(\omega_1,10\rbrace\) is an interesting concept!