A brief history of life insurance