I suspect, without looking, that they're probably insured through a state risk pool, whether for all of state government or just institutions of higher education, rather than by traditional private insurance and that statute, or maybe state risk manager rules or a combination of both statute and...