Wei Dai comments on MichaelDickens’s Shortform