 Wasting money. In fact, even before COVID and the work at home, they had a lot of government offices that were just hardly full at all, and they kept building new buildings. So we've got such a waste, and most of those people, the jobs can't be that important if they haven't had to go in for, what, a year and a half, two years to work one day. They can't be very important. Absolutely.