|y|=x