 So they've been putting lists out since the beginning of the year, top cities where prices are falling the most, Miami, Florida, Oklahoma City, Oklahoma, Cincinnati, Kansas City, Denver, San Jose, California, Raleigh, North Carolina, San Antonio, Texas. So when they start putting lists out and naming all these cities where prices are going down because they don't have influx of people coming to retire there.