7.4.1 断言的概念