جمله در قالب فرمول زير به اين معناست كه عملى در گذشته حتماً انجام شده است:

must + have + pp