Working semantics