7.4.4 为文档假设使用断言