(The judge will not make that decision until Nov. 10 at the earliest.)
The judge will decide in November.