Definition of DOUBLE INSURANCE