 It's strange why we would do that. And you're right. I mean, it's kind of a transfer just to funds from one public entity to another. But to go for a dollar, for some reason, the city of Wichita loves to be able to just transfer property for a dollar. And obviously, I mean, I know that was more of a private to public kind of thing. But when we sold the baseball stadium area for the development downtown, we did this thing for a dollar as well. I don't understand what's going on with the city.