(still doesn’t seem all that different from FY 2024. Treasury had to borrow in anticipation of the revenue it would not have in 2024, would do the same in 2025. i don’t think it proactively raises cash based on revenue estimates several years out.)