x \neq 0