Although they do not explicitly distinguish causal counterfactuals from others, their Section sketches a theory of counterfactuals which plainly is built to exclude back trackers in any ordinary situation.