Part 8 of LWG Issue 2210' unordered_set and unordered multiset; this got missed when I went on vacation