Whenever a former participant becomes entitled to receive payment of the lump-sum credit under subsection (a), such lump-sum credit shall be paid to the former participant and to any former spouse or former wife or husband of the former participant in accordance with paragraphs (2) through (4). The former participant’s lump-sum credit shall be reduced by the amount of the lump-sum credit payable to any former spouse or former wife or husband.
In any case where there is a surviving former spouse or surviving former wife or husband of such participant who is entitled to a share of such participant’s lump-sum credit under paragraphs (2) and (3) of subsection (b), the lump-sum credit payable under paragraph (1) shall be reduced by the lump-sum credit payable to such former spouse or former wife or husband.
If all annuity rights under this subchapter based on the service of a deceased participant or annuitant terminate before the total annuity paid equals the lump-sum credit, the difference shall be paid in accordance with subsection (c).
If a retired participant dies, any annuity accrued and unpaid shall be paid in accordance with subsection (c).