Portions of this article were taken from my work on Wikipedia (levels of coverage for employees, coverage options at retirement, and payouts at death, specifically). Quidam65 (talk) 15:39, 10 March 2019 (EDT)