bit or reorg; finish discussion of  X -> Set =~ Set/X