 There'll be some negotiation, but hopefully at that point, they're going to lose a major revenue source if JCPenney goes away. So right now, that's really their big revenue source. So we're continually open to doing something there, but they own the property. They own the ring road. It's a pretty sad state, but you're allowed to run your own business into the ground, even though it hurts the community, and they're allowed to just like everybody else.