9.1.3 断言