x<y&|x|=|y|