 And then comes along COVID. Now, COVID was after my time. I'd already left the federal government. Bush was no longer president. COVID hits, and everybody's told to go home. And in the private sector, many people lost their jobs. The government didn't. Do you know that as of today, just 6%, 6% of the millions of government workers come to the office full time?