 down in Florida. This is going to be appealed, no doubt. We know that the DOJ will either appeal directly to the 11th Circuit or they will leapfrog the 11th Circuit and petition immediately for Supreme Court emergency review on what's been called either the shadow docket or the rocket docket. But this is a case that will not be resolved.