16.2.1 断言