Can We Define "Must"? The Semantics of Modality