 The federal case, of course, also gets thrown out too. We know those proceedings have been paused. They will resume eventually here in the coming days. So that's at least what we're hearing so far from the Trump legal team. No comment right now from special counsel Jack Smith. I can imagine that we will be hearing from him soon, either publicly or in a court filing, Diane. John, what does this mean now for Trump going into the Republican National Convention without having to worry about this case? And what are you looking to hear from him on Thursday?