 Do we have any idea what kind of number it'll take other than a lower score helps everybody down the line and some people may be willing to pay you for it? The money behind this is important to know is all coming from a federal tax credit that was in the Inflation Reduction Act. And so now it baked in there. This tax credit that we're talking about is called 45Z. I hate to get into numbers like that because it's really boring, but that's what it's called. It starts January 1 of next year.