Replacement program for covered District employees.

The replacement plan governing retirement and disability for service and benefits accrued after June 30, 1997, for covered District employees shall be the retirement program in effect for covered District employees as of June 30, 1997.