What I was wondering was whether dicts do hash -> bucket. for each element of the bucket check id, then eq, or just eq. Writing it out, I think using eq is right