good character subgroup of character, 2 assertions