brake pedal subgroup of pedal, 9 assertions