 In the state Senate, you have the Senate president, Marty Looney. He's technically the highest ranking Democrat. Then you also have a majority leader, Bob Duff. So there's kind of two Democrats that lead the team in the Senate. And then on the same thing in the House, right? Ritter's the speaker. He does have a majority leader, Jason Rojas, who really the air traffic controller of the state House, I would say, leading on the floor. It's interesting, both Ritter and Harding, given the opportunity to talk about the debate,