See __hash__.