Same holds for `!=`