must be · can't be · might be · formas en pasado
Usamos modales para hacer deducciones — conclusiones lógicas basadas en evidencia. Tres niveles principales de certeza.
Modal + have + participio pasado