The injunction is gone. On August 31, the U.S.