5. HOW YOUR BENEFIT IS CALCULATED Your benefit for service after June 30, 2001 is calculated as a Straight Life Annuity. This is a retirement benefit payable in equal monthly installments over your life only. If you receive a form of payment other than a Straight Life Annuity, your monthly benefit amount is actuarially reduced for that form of payment. 5.1 Benefit Service After June 30, 2006 5.2 Benefit Service After June 30, 2003 and Before July 1, 2006 5.3 Benefit Service After June 30, 1997 and Before July 1, 2003 5.4 Benefit Service After June 30, 1990 and Before July 1, 1997 5.5 Benefit Service Before July 1, 1990: the Overlay 5.6 Past Benefit Service 5.7 Section 415 Maximum Benefit 5.8 Return to Covered Employment 5.9 Special Rules Regarding Calculation of Benefits