The Border Patrol agents who are out there in the hot sun, doing what Congress said they're supposed to be doing, finding out suddenly that they're getting a 10-percent pay cut and having to go home and explain that to their families, I don't think they feel like this is an exaggerated impact. So I guess it depends on where you sit.