 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, without that, even just before we're speaking right now, there was a conference call with staff or a meeting of the staff at the White House yesterday.