expanded appendix on multiset indices