and 1 < 2, right? I was picking names which imply no order. It's a style question not a correctness one.