Re: Introducing a cmp() operation