internal semantics