Primitives Semantics