原文:对过去情况进行推测,情态动词+have done; 对现在的事件进行推测:
He must/will/would/should/could/may/might/cant have left yesterday.