In chapter 3 through 8 we developed a theory for the analysis of financial benefits contingent on the time of death of a single life. We can extend this theory to benefits involving several lives. An application of this extension commonly found in pension plans is the joint-and-survivor annuity option.