As used in this part:
Average Annual Debt Service = |
Total Debt Service x Number of Bonds |
Bond Years |
Total Debt Service = | Insured Unpaid Principal + Interest due over the remaining life of the bond |
Number of Bonds = | Total Insured Principal |
1,000 |
Bond Years = Number of Bonds x Term in Years
if deposited with or held by the corporation; held in trust by a trustee, acceptable to the office, for the benefit of the corporation; or held in trust, pursuant to the bond indenture, by a trustee acceptable to the office, for the benefit of bondholders in the form of sinking funds or other reserves which may be used solely for the payment of debt service.
Fla. Stat. § 627.971