equality-distinctions, hash-tables