Natural Counterfactuals With Necessary Backtracking