I wonder since theres no change in TOP 20 in recent weeks, the selloff may come from exercising options and offloading onto the market for profit taking? If they exercise options, do they have to announce to the market every time/day? Or after a certain number of options?