Similarly, I do not have those numbers. We would look to the government to provide the numbers they've come up with in that case. I know that, in speaking before, it was thought that grain drying was happening 24-7, 12 months of the year, when they were putting some of the numbers out. In discovery, when talking to some folks who—
On October 17th, 2022. See this statement in context.