x<=|y|