 And then we have a large contingent of people who just work in planning. And then our operations people still have to work, right? Our finance, our human resources. So we're still doing some hiring over the summer to try to fill positions as well. I know we're going to talk about the summer food program, but how is the hiring going? I know this was something that a lot of school districts struggled with seemingly after COVID. And it was a problem beforehand, but maybe amplified by COVID. How is District 6 doing?