Wei Dai comments on Taking Ideas Seriously