Wei Dai comments on Max Harms’s Shortform