high-level semantics