to cool [ cooled ; cooled ]