I am surprised that I have yet to see anyone mention the only case to address the "serious adverse foreign policy consequences" provision that appears to be the basis for Khalil's deportation: Massieu v Reno, 915 F Supp 681, rev'd 91 F3d 416. The district court found the statute to be void for vagueness, but the appellate court reversed on exhaustion grounds, without reaching the merits. But here is the really interesting part. The judge who authored the appellate decision? Samuel Alito. And the district judge who struck down the statute? None other than Maryanne Trump Barry, the president's late sister.