16.4 断言