high frequency subgroup of frequency, 4 assertions