Well as we already saw with SpaceX, indices are separate entities that are not fully controlled by the SEC. There are plenty of companies on the market that aren't in indices anyway, you don't need to block a company from the market to block it from the index.