They must if they want to be hashable, clarified the comment.