 Is there a time, a date, a period in time when it becomes really difficult to do that? I mean, presumably he couldn't decide this in October very easily. Walk us through what the steps are for them to make this change if they do make the change. Well, first of all, right now he's not making the change. I mean, you know, even just before we're speaking right now, there was a conference call with the staff or a meeting with the staff at the White House.