Text this: Federal Employees' Group Life Insurance Act of 1980.