Further refinement of compare