Sum branch

遗漏断言修改