are sets.  This just explains what the code actually does; it doesn't
make sense to me, so if it does to you feel encouraged to elaborate (in
the ZCTextIndex code, we never found a use for the weight outputs of
the weighted set ops).