MichaelStJules comments on Wei_Dai’s Shortform