|x|>|y|