 before the pandemic. Do we have any data about that? Do agencies collect that? We're wasting our time arguing about the percentage of time that people are in the office, and we're not wasting our time or arguing about, well, is the job getting done? Do the American people feel served?