[nradov]

So how much lower should the retirement age be, and how much should taxes increase to enable that? Have you done the math on that?