Wei Dai comments on Matthew Barnett’s Shortform