No retirement, death, or other benefit shall be paid by the Teachers Retirement System of Georgia to or on behalf of a participating employee in the optional retirement plan based upon any service rendered by such employee while a member of the optional retirement plan or while covered by such plan. Benefits are payable to participating employees or their beneficiaries by the designated companies in accordance with the terms of the annuity contracts.