|x|>=|y|