In practice I don't expect Congress will cease to borrow money on the credit of the United States, though I suppose in theory they could.