The traditional approach to flexible retirement (e.g. NDC) neglects the impact of asymmetric information on actuarial fairness (neutrality). The mechanism design approach (e.g. Diamond, 2003) gives up the requirement of neutrality and looks for a redistributive second-best benefit-retirement-age...