[FOLD] multiset insertion