Before revision: In these approaches, a counterfactual is true if is true throughout the possible worlds where is true which are most similar to the world of evaluation.
After revision: In these approaches, a counterfactual is predicted to be true if holds throughout the possible worlds where holds which are most similar to the world of evaluation.