 So, as I understand this, there's two very limited provisions mentioning the president as included. That's right. There's a whole number of provisions that exclude the president. Many, many, many more that exclude the president, correct? It's a kind of small number on both sides of the fence, Justice Sotomayor. Now, Justice Barrett made the point that if we say a president can't be included in a criminal law unless explicitly named, then that would bar the Senate