. . . "In any year with a budget surplus, resources would be reserved to pay down liabilities such as federal pension liabilities or debt held by the public." .