I guess there is confusion about whether this was actually "life insurance" or technically some retirement benefit. All the benefits documents referred to it as life insurance, but I'm unclear.
