update - semantics