Modifications of the Miller definition of contrastive (counterfactual) explanations.