 So again, if the mayor's goal was to move on from Diaz and Diaz not being a distraction, I think that's far from the case right now. And again, you have these community activists who, again, are fighting for justice, who do believe in the law, saying he's not getting his due process right now. And we're talking about Chief Diaz, that is.