Howie Lempel comments on Jimrandomh’s Shortform