If he started out at nine, he ought to be here by now.

• 他如果九点出发，现在应该到这里了。