6.6.1 正反例策略