[RandomLensman]

The safety (or not) of the insurance fund is not related to the need for it. The need would come from a counterparty defaulting - which is generally unrelated.