 And then you recognize that you probably could do with fewer people. People have moved on. You don't need that much square footage. Real estate, commercial real estate is in a bit of a free fall right now in a lot of places. So much so that they're looking to rezone a whole bunch of office buildings in Washington, D.C. to try and make them into condos and apartment buildings because they're sitting vacant. They've got nothing to do. Rents are high and it costs money. And so businesses are going, we can cut our overhead.