If the participating employee elects a reversionary annuity in accordance with Section 7--145, his retirement annuity shall be reduced by an amount equal to the annuity which could be provided for him at the time the annuity begins from the accumulated additional credits required to provide the reversionary annuity.
40 ILCS 5/7-143