must be · can't be · might be · past forms
We use modals to make deductions — logical conclusions based on evidence. Three main degrees of certainty.
Modal + have + past participle