 Now that this big family house that they no longer need, we're seeing that that is definitely a factor of people moving. You would like to think about harvesting your equity. You had the big house. Maybe you bought it for 300 grand. It's worth 500,000, 600,000, depending on how long you've been there. Who knows? And you're going to downsize and you want to pocket some of that equity and top off the retirement tanks and head into retirement. It could be a really powerful tool.