Maybe I missed something, but has anyone cut funding to a single program in the history of tracking government spending? Especially the FAA?