 In my opinion, that's a loss to the state, but that's certainly a loss to that Senate district there around Ada, where he was from. Exactly. Okay, kind of switching topics here. We've had it on the news here coming for the last, well, 40 years, I guess. The execution of Richard Rosem, Jr. What are your thoughts about that?