1 counterfactual reasoning: 역사실적 추론