(b) The bonds shall be executed in the form, on the terms, and in the denominations, bear interest, and be issued in installments as prescribed by the Texas Higher Education Coordinating Board or its successor or successors.
(c) The maximum net effective interest rate to be borne by bonds issued under this section must be set by law.
(d) The legislature may provide for the investment of bond proceeds and may establish and provide for the investment of an interest and sinking fund to pay the bonds. Income from the investment shall be used for the purposes prescribed by the legislature.
(e) While any of the bonds issued under this section or interest on the bonds is outstanding and unpaid, there is appropriated out of the first money coming into the treasury in each fiscal year, not otherwise appropriated by this constitution, the amount sufficient to pay the principal of and interest on the bonds that mature or become due during the fiscal year, less any amount in an interest and sinking fund established under this section at the end of the preceding fiscal year that is pledged to the payment of the bonds or interest.
(f) Bonds issued under this section, after approval by the attorney general, registration by the comptroller of public accounts, and delivery to the purchasers, are incontestable.
