Counterfactual Analysis Of Knowledge