used multiset