paulfchristiano comments on Does UDT *really* get counter-factually mugged?