 So the rest of the countries are trying to avoid that fate. And in order to do that, they have to bring down their budget deficits. So these countries, quite a few of them, approach the IMF to assist them with fiscal reforms. And in return, they would get funding. So, yes, Kenya is an IMF funded program. And part of the targets they do have to achieve is to bring down that budget deficit so that the debt number starts to fall.