. . . "In fact, the U.S. Dept of Justice, one of the plaintiffs in the federal case against the TX law, has now amended their complaint [PDF] to include Judge Adelman's WI decision in full." .