 Those indexes, the indexes are actually created by the size of the companies, the market value of the companies. And some of them are weighted indexes. It doesn't matter. But they include these companies. And if you're not going to sit there and go through each company.