 A lot of times what we do is we carve off some of the portfolio to create all the income that we need, and then we invest the rest of it in the market for the long term, knowing that we have time on our side. And that's why I always talk about how do we use our money to buy time. And in this case, I think a mix of the two could be a great idea.