[FOLD] multiset