 to someone else in the process. The mayor of Smiths Grove, David Stiffy, says he and the city council are weighing the pros and cons of possibly annexing the property because, as I said, it just currently sits outside the Smiths Grove city limits.