In cases where management deems paying winners from the insurance fund would be too costly and/or impossible, they automatically deleverage some winners.

that's deep, in all senses.