The budget out-year analysis underscores the fact that for aviation purposes, the government collects too much and appropriates too little. This is because what gets collected to pay for air traffic services is not tied to the cost of those services.
Appropriating more isn’t the answer. Taking air traffic control services out of the government solves that problem. As a non-profit, independent cooperative, the air tarffic organization will collect only what it needs and spend no more than it collects.