Ariz. Rev. Stat. § 38-769
C. The limitations determined under subsection A of this section are subject to the following adjustments:
2. If the member's benefit under ASRS commences before the member reaches sixty-two years of age, the benefit will be limited to:
(a) If the annuity starting date is in a limitation year beginning before July 1, 2007, the annual amount of a benefit payable in the form of a straight life annuity commencing at the member's annuity starting date that is the actuarial equivalent of the dollar limitation under section 415(b)(1)(A) of the internal revenue code as adjusted in subsection A of this section, with actuarial equivalence computed using whichever of the following produces the smaller annual amount:
(c) If the annuity starting date is in a limitation year beginning on or after July 1, 2007 and ASRS has an immediately commencing straight life annuity payable at both age sixty-two and the age of benefit commencement, the lesser of:
3. If the retirement benefit under ASRS commences after the member reaches sixty-five years of age, the dollar limitation under section 415(b)(1)(A) of the internal revenue code as adjusted in subsection A of this section on that benefit is increased to:
(a) If the annuity starting date is in a limitation year beginning before July 1, 2007, the annual amount of a benefit payable in the form of a straight life annuity commencing at the member's annuity starting date that is the actuarial equivalent of the dollar limitation under section 415(b)(1)(A) as adjusted under section 415(d) of the internal revenue code, with actuarial equivalence computed using whichever of the following produces the smaller annual amount:
(c) If the annuity starting date is in a limitation year beginning on or after July 1, 2007 and ASRS has an immediately commencing straight life annuity payable at both age sixty-five and the age of benefit commencement, the lesser of:
4. For purposes of applying the limits of section 415 of the internal revenue code, a retirement benefit that is payable in any form other than a straight life annuity and that is not subject to section 417(e)(3) of the internal revenue code must be adjusted to an actuarially equivalent straight life annuity that equals either:
(b) For limitation years beginning before July 1, 2007, the annual amount of a straight life annuity commencing at the same annuity starting date that has the same actuarial present value as the member's form of benefit computed using whichever of the following produces the greater annual amount:
5. For the purpose of applying the limits of section 415 of the internal revenue code, a retirement benefit that is payable in any form other than a straight life annuity to which section 417(e)(3) of the internal revenue code would apply if that section of the internal revenue code were applicable to ASRS must be adjusted to an actuarially equivalent straight life annuity that equals:
(a) If the annuity starting date is in a plan year beginning on or after July 1, 2006, the annual amount of the straight life annuity commencing at the same annuity starting date that has the same actuarial present value as the member's form of benefit, using whichever of the following produces the greater annual amount:
(b) If the annuity starting date is in a plan year beginning in July 1, 2004 or July 1, 2005, the annual amount of the straight life annuity commencing at the same annuity starting date that has the same actuarial present value as the member's form of benefit payable, using whichever of the following produces the greater annual amount:
J. If ASRS terminates, the benefit of any highly compensated employee as defined in section 414(q) of the internal revenue code and any highly compensated former employee is limited to a benefit that is nondiscriminatory under section 401(a)(4) of the internal revenue code and as follows:
2. Paragraph 1 of this subsection does not apply if either:
M. For the purposes of this section:
1. The following adjustments shall be made to the definition of compensation prescribed in subsection O of this section:
O. For the purposes of this section:
4. "Compensation" means the member's earned income, wages, salaries, fees for professional service and other amounts received for personal services actually rendered in the course of employment with the employer and includes amounts described in sections 104(a)(3) and 105(a) of the internal revenue code, but only to the extent that these amounts are includable in the gross income of the member. Compensation also includes any elective deferral as defined in section 402(g)(3) of the internal revenue code and any amount that is contributed or deferred by an employer at the election of a member and that is not includable in the gross income of the member by reason of section 125, 132(f)(4) or 457 of the internal revenue code. Compensation does not mean: