ICS-THERM-single-generic_R2-proof