Wei Dai comments on Logical uncertainty, kind of. A proposal, at least.