 Well, no furloughs, no layoffs. So they've got that. But eliminating vacant positions. There will be vacant positions they cut out of the state, which like you say, it doesn't mean they're firing anybody, but they will do that. Which is what we've seen in education too, by the way. Yep. So all of this money that's kind of flowing into Blueprint, you're saying is causing this $150 million cut to have to come in, even though they're claiming other reasons? Yes.