 Just to be clear, is it early August? Is that when you would file the lawsuit? That's what I hope is. All right, so early August is when the lawsuit may be filed. That's Max Wistow from earlier today, one of the lawyers representing the state. And when he's trying to figure out whether or not there's a lawsuit, he says it's highly likely that there's going to be a lawsuit filed, most likely in the beginning of August. They're not 100% there yet, but they're working on it, and it's more likely than not.