x\neq 1