a\neq 1