x \neq 1