gwern comments on Decision Theory with the Magic Parts Highlighted