Is this actually necessary? Isn't it automatically defined as the inverse of `__eq__` if `__eq__` is defined?