Joseph Miller comments on Wei Dai’s Shortform