total utility subgroup of utility, 1 assertions