The Treasury General Account is replenished by issuing new debt, not by tax receipts