|y|= x