3.2.2 预设与断言