excess weight subgroup of weight, 2 assertions