multiset specs pass