 Well, what they've got to do is turn it back. And I don't know what his plan is for that because the CPI report today was good, 3% inflation overall. They expected 3.1, so it's one-tenth of a percentage point less than had been predicted. But 3% inflation every year is still pretty high. But when you pile it on top of the...