Update: 语义更新