Technically yes. But what I mean is that, even in terms of the spirit of the law, the situation is a bit murky, because Congress effectively wrote a law that requires the executive to prosecute a specific company on a specific deadline.