final semantics