martinkunev comments on What is Wei Dai’s Updateless Decision Theory?