Will the IRS collect more taxes this year than last?

The IRS collected $4,694,335,168,000 in tax revenue in FY 2023 (see: https://www.irs.gov/statistics/soi-tax-stats-irs-data-book) This market will resolve to ”Yes” if the IRS collects more than $4,694,335,168,000 for FY 2024. Otherwise, this market will resolve to “No”. If the IRS does not release it's Data Book for 2024 by July 31, 2025, 11:59 PM ET this market will resolve to "No". The resolution source will be the first official release of the Internal Revenue Service (IRS) Data Book.