20 C.F.R. § 234.52 Effect of payment on other benefits.
Title 20 - Employees' Benefits
The lump-sum refund payment is deductible from the RLS; however, it has no effect on the payment of other benefits.
Title 20: Employees' Benefits
PART 234—LUMP-SUM PAYMENTS
Subpart E—Lump-Sum Refund Payment
§ 234.52 Effect of payment on other benefits.