This page duplicates the case published at United States v. Texas, 599 U.S. 670 (2023), decided June 23, 2023.