 I understand, having seen civil servants work, and some do incredible jobs, and some of the jobs are really tough. But the people that are making 40% more than those in the private sector, on average, are generally the paper pushers, are generally those that are working in offices. They're not necessarily on, they're not in a combat zone.