If he had driven, he would have arrived on time.