3.4 检查和断言