clarified purpose, maybe
disallow multiset counts of zero