 in the Oklahoma Senate with the Republicans. And it is more conservatives that got elected that are replacing several of these people that are more moderate. And so we'll see kind of how that changes those numbers.