定义一个有效的断言

定义一个有效的断言