Wei Dai comments on A Critique of Functional Decision Theory