 So there you go. Very interesting. So Will Menendez stepped down. I mean, I saw a piece of video. He's not stepping down. They're going to have to get rid of him. I don't see him resigning unless there's some overwhelming pressure for him to resign. These counts, and I apologize if I missed it just now. I was pulling up another news story. These counts were directly related to him.