Germany then initiated action in the U.S. Supreme Court for enforcement of the provisional order. In its judgment, the U.S. Supreme Court held that it lacked jurisdiction with respect to Germany's complaint against Arizona due to the Eleventh Amendment of the U.S. constitution, which prohibits federal courts from hearing lawsuits of foreign states against a U.S. state. With respect to Germany's case against the United States, it held that the doctrine of procedural default was not incompatible with the Vienna Convention, and that even if procedural default did conflict with the Vienna Convention it had been overruled by later federal law – the Antiterrorism and Effective Death Penalty Act of 1996, which explicitly legislated the doctrine of procedural default. (Subsequent federal legislation overrides prior self-executing treaty provisions, "Whitney v. Robertson", ).