jimrandomh comments on Jensen’s Shortform