This issue was at the heart of the budget standoff between Republicans and Democrats in October and November.