is not equal to 0, 1, or 2?

Since we're being very careful here :)