high beam subgroup of beam, 1 assertions