If he left at nine, he should arrive in time.

如果他按时动身，九点钟就会赶到。