Can We Define Must? The Semantics of Modality