Natural Counterfactuals With Necessary Backtracking Guang-Yuan Hao 1,5, Hao Wang