 really just going to be such a social security income, essentially. And that kind of gets you to that number of how much do you need annually from your retirement portfolio. And the 4% rule is what we talk about so often, but the backwards version of that is multiply the annual withdrawal from your retirement portfolio, multiply it by 25%.