Wei Dai comments on leogao’s Shortform