[mgh95]

In practice this is exactly how they work, whether it was intended or not. Otherwise it would look a lot less like a defined benefits plan and more like a defined contribution plan.