maximum speed subgroup of speed, 11 assertions