If he started at seven, he ought to be here now.

• 假如他在七点出发的话,现在大概到这儿了。