jmh comments on lukemarks’s Shortform