Knowledge of counterfactuals