Federal assistance for highway and bridge infrastructure-about $40 billion each year-is distributed through multiple formula and discretionary grant programs collectively known as the federal-aid highway program. The federal-aid highway program is financed through the Highway Trust Fund, a dedicated source of federal revenue based on the "user-pay principle"-that is, users of transportation systems pay for the systems' construction through the federal tax on motor fuels, tires, and trucks.