Modifying the early retirement annuity reduction formula under the Minnesota state retirement system (MSRS) correctional employees retirement plan (mk)