 Those folks will have to actually apply for a pardon through the Department of Justice in an individual manner. So this sort of blanket clemency does not apply for them. And really quickly, what has the military said about the clemency announcement or how has it responded?