Justice Sotomayor: The president is only explicitly mentioned in a few federal statutes. '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 from impeaching him for high crimes or…