Tweak terminology: multiset -> bag