For the somewhat guaranteed portions of your retirement portfolio/income like defined benefit pensions, are you counting it as part of the bond side of your portfolio (i.e. the 40 side of a 60/40)? So if pension is 40% of the income, are you 100% equities in the rest of the portfolio? Or are you excluding that in your portfolio target ratio?