This module introduces joint life models needed for annuity and insurance contracts. Specifically, these models are useful when the payment of an insurance benefit or annuity payment is contingent on the survival of two people. The introduction is based on the classical assumption of independent lives and focuses on expected values.