Wei Dai comments on Applications of logical uncertainty