Updating semantics