Assume x