 So let's talk a little bit about some of these that have come in. Let's start first with the Pope County Casino repeal, which is really not one that's garnered a lot of attention, although Pope County's casino applications have. But kind of what's at work in this one? What are the supporters of this amendment trying to do?