flat character subgroup of character, 2 assertions