Email Record: Designation of beneficiaries under civil service retirement and group life insurance laws.