 from impeaching him for high crimes or misdemeanor, because that means that he's not subject to the law at all, correct? That's a tautology you can't escape. Justice Sotomayor, what I think that Justice Barrett was saying, and we would agree with it, is that under my friend's position, after impeachment, he could be prosecuted. But under his statutory construction approach, there'd be nothing to prosecute him for. Exactly, that's the point.