Withdrawal from Congressional-Executive Agreements, of which NAFTA is the best known example, or formally ratified treaties like the U.S. accession to the World Trade Organization are a legal grey area, and the courts have generally preferred that the other branches reach a compromise on these political situations, rather than intervening judicially.