Within the $650 million, as I mentioned previously, there is an amount of federal funding that would be provided. For example, if the incident were caused by a terrorist action, then we understand, at this time, that 80% of all payouts would be covered by federal funds. So they would be within the $650 million, but they would be paid with federal funds.
So to that extent, there is an element of federal funding that would be provided, but it's limited to $650 million.