Updated semantics