断言的表达