Wei Dai comments on How to not do decision theory backwards