 if there's any claims. And oftentimes, insurance companies lose money on that and then make enough on investments. Buffett has figured out that there's something called float, which is John Iannuzzi pays his house mortgage today, but we're not going to have to pay him a dime until something happens way down the road.