 Does anyone actually care about this? Does anyone actually believe that any of this is relevant? Do some people still read these articles and think, wow, I should go all in because July has been the best month historically? Or, oh, actually, no, no, no. Opposite. I should go all out because if you look at the last 50 years and you look at tech stocks in particular, it's been the beginning of this third of the year that doesn't do very well. Maybe I should get more defensive.