average speed subgroup of speed, 10 assertions