Definition and Semantics