__ne__ and __hash__