11.3 双重归结的效果