7.2 反事实计算