Nondebt-limit proprietary appropriated bond retirement account.
The nondebt-limit proprietary appropriated bond retirement account is created in the state treasury. This account shall be exclusively devoted to the payment of principal and interest on and retirement of the bonds authorized by the legislature.