soft cooler subgroup of cooler, 2 assertions