But getting it to federal courts is harder now, because the state can’t be enjoined. It will *eventually* go to federal court, but not with Texas defending it.