Chris_Leong comments on Does TDT pay in Counterfactual Mugging?