(A sinking fund is a repository, set up apart from the general budget, for revenues to pay off debt.) It would sequester revenues from the sudden whims of grasping politicians who might want to raid the Treasury for short-term gain. The sinking fund would retire about 5 percent of the debt each year until it was paid off.