Retirement benefit guarantees can ensure a minimum standard of living in retirement. I propose a framework to discuss the design of such guarantees. The model features a standard life-cycle setting, in which individual agents' choices can have negative external effects on public finances,...