Yes.
So TDT fails on counterfactual mugging, as far as you understand it to work, and the reasoning I gave here is in error?
Yes.
So TDT fails on counterfactual mugging, as far as you understand it to work, and the reasoning I gave here is in error?