Benquo comments on Jimrandomh’s Shortform