11.4.3 为文档假设使用断言