Even with a "budget", let's assume that the so-called deficit bonds don't happen and the tripling of the car tax is not allowed, how does the State provide cash for payments that exceed its revenue? Is there a short term line of credit available for this purpose and can it be exceeded? There must be a limit somewhere.