speed aspect of tractor, 4 assertions