little time. So I suspect 2025 is not the year that he'd consider the stock market much. Then I could be wrong.