User blog comment:Alemagno12/How strong is this function? (2)/@comment-25337554-20171111093003/@comment-25337554-20171112023429

How can  ((0,0),0) be ω? Since (0,0)< ((0,0),0) and 0< ((0,0),0), I think it can be 2...

And what do you mean by "must be true"? I think that line defines the comparator...