Ah right, I see that reading now. I didn't mean that working hours is proportional to age; just that you work "proportionally less" pre-65 in the sense that you

Ah right, I see that reading now. I didn't mean that working hours is proportional to age; just that you work "proportionally less" pre-65 in the sense that you work more post-65 than the current norm of "none", and then reallocate those extra person-years of productivity to reduce the pre-65 work week.