Counterfactual rationality requirements persist even at unreached nodes, as Stalnaker argues in 'Kno...