x\neq1