paper towel subgroup of towel, 2 assertions