Mind changes: A simulation semantics account of counterfactuals