19.13-3—Payment after death of principal.

If a participant or former participant dies and no claim for annuity is payable, the lump-sum credit is paid to surviving beneficiaries.