Cooling or quenching