Virtual and Counerfactual History