a\neq 1\land a\neq -2