SMS: Knowledge of counterfactuals