May, might, could, must и can’t: степень вероятности и вывод

Модальные глаголы показывают степень уверенности говорящего.

• may / might / could — возможное объяснение;
• must — сильный логический вывод;
• can’t — сильный вывод о невозможности.

The door is locked; they must have left. Здесь must означает не обязанность, а вывод по фактам. В профессиональной речи выбирайте модальность в соответствии с силой доказательств.