Yes, I'm wrong. I was thinking of the naïve implementation if ( a < b ) then { return b } else { return a } which requires being able to decide order, b

Yes, I'm wrong. I was thinking of the naïve implementation if ( a < b ) then { return b } else { return a } which requires being able to decide order, but, as child comments point out, that's not necessary.