(1) Periods of civilian service that were not subject to retirement deductions at the time they were performed are creditable for Federal Benefit Payments under the Teachers Plan if the deposit for the service was paid in full to the Teachers Plan as of June 30, 1997.

(2) No credit is allowed for Federal Benefit Payments under the Teachers Plan for any period of civilian service that was not subject to retirement deductions at the time it was performed if the deposit for the service was not paid in full as of June 30, 1997.

(3) If the deposit for the service was paid in installments, but was not paid in full as of June 30, 1997, Treasury shall transfer to the District an amount equal to the portion of the deposit completed prior to June 30, 1997.