We discuss the "life cycle model" by first introducing a credit market with only biometric risk, and then market risk is introduced via risky securities. This framework enables us to find optimal pension plans and life insurance contracts where the benefits are state dependent. We compare these...