Definitions and Semantics