y\neq 1