cold compress subgroup of compress, 1 assertions