加入断言，加入更新